1.2k
JavaScript

apicache

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

RedPRL

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