1.2k

JavaScript

apicache

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

1.4k

JavaScript

快速查看 比較

数学

RedPRL

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

1.5k

Standard ML

快速查看 比較

未分类

sb-admin-svelte

StartBootstrap SB Admin rebuilt using Svelte + Sveltestrap

1.6k

CSS

快速查看 比較