8.6k
样板 \ 入门套件

Homer

为你的服务器提供一个非常简单的静态主页。「A very simple static homepage for your ...
  1.2k
JavaScript

apicache

用于 Express/Node 的简单 API 缓存中间件。「Simple API-caching middleware...
数学

RedPRL

受 Nuprl 启发而开发的基于策略的计算笛卡尔立方类型理论证明助手。RedPRL 实现了两级立方类型理论,其中包括单等...
552
Standard ML
系统和服务监控系统

Stork

Stork 是一个用于 BIND 9 和 Kea DHCP 的仪表盘。「Stork is a dashboard for...
  10.9k
Python

ActivityWatch

最好的免费和开源的自动时间跟踪器。跨平台、可扩展、注重隐私。「The best free and open-source...