开源序GitHub 开源项目排行

HigherOrderCO / Kind

现代证明语言

仓库 Star: 3,763总榜 #16,468
Fork: 152
最近推送: 1 年前更新
仓库创建: 2018 年创建

应用与完整系统通用HaskellMIT · 宽松，可直接商用

用途与标签

用之前确认

超过 6 个月没有代码推送（最近一次 2025-01-22），维护情况需要确认。

# dependent-types # formality # functional-programming # lambda-calculus # moonad # proof-language # proof-languages # theorem-prover # type-theory

Star 走势

原始观测记录 · 2

历史观测
采集时间	仓库 Star	数据来源
2026-11-06 10:42 UTC	3,763	数据来源
2026-11-03 09:40 UTC	3,764	数据来源