Agda，一种依赖类型编程语言/交互式定理证明器。

Agda，一种依赖类型编程语言/交互式定理证明器。

Flamego ，一个很棒的模块化 Go Web 框架，自带具有依赖注入功能。

PikaScript是一个完全重写的超轻量级python引擎，零依赖，零配置，可以在少于4KB的RAM下运行(如stm32g030c8和stm32f103c8)，极易部署和扩展。

PikaScript是一个完全重写的超轻量级python引擎，零依赖，零配置，可以在少于4KB的RAM下运行(如stm32g030c8和stm32f103c8)，极易部署和扩展。

YoyoGo 简单、轻量、快速、基于依赖注入的微服务框架.

ChartJS 使用HTML5 Canvas元素的Javascript图形库,支持6种统计图形,不依赖其他库.

ChartJS 使用HTML5 Canvas元素的Javascript图形库,支持6种统计图形,不依赖其他库.

San，是一个 MVVM 的组件框架。它体积小巧（13K），兼容性好（IE6），性能卓越，是一个可靠、可依赖的实现响应式用户界面的解决方案。

Flamego ，一个很棒的模块化 Go Web 框架，自带具有依赖注入功能。