开源序
GitHub 开源项目排行
返回榜单
S
steshaw /
plt
编程语言理论λΠ
仓库 Star
5,370
总榜 #11,099
Fork
344
最近推送
1 年前更新
仓库创建
2013 年创建
应用与完整系统
开发工具
CSS
许可证未声明
查看源码
收藏
加入对比
加入收藏夹
用途与标签
介绍
README
用之前确认
没有声明许可证:商用和分发条件无法确认,使用前请联系作者。
超过 6 个月没有代码推送(最近一次 2024-12-02),维护情况需要确认。
开发者工具
# category-theory
# functional-programming
# logic
# programming-languages
# proof-theory
# type-theory