每日 每周 每月
2026-03-21
返回报告
🏷️

#agda 每日趋势报告

📅 2026-03-21
📊 1 个项目

🔥 #agda 每日热门项目

agda/agda

Haskell

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

agda dependent-types programming-language
agda
agda 开发者
2.8k
404
203
+1
排名 #7
3月21日
查看详情

📊 数据统计

1 个热门项目
2026-03-21 数据日期

🔥 TrendForge - 追踪开源项目热度，发现技术趋势

助手