主题 · lambda-calculus

lambda-calculus

标记 lambda-calculus 主题、收录中的开源项目，按星标数排序。

项目数

4

总星标数

6,479

平均星标数

1,620

占比

0.00%

常跟 lambda-calculus 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 lambda-calculus 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
Kind ↗@HigherOrderCOHaskell
一种现代证明语言
★ 3,763-1近 7 天星标变化
#2
fp-core.rs ↗@JasonShinRust
Rust 函数式编程库
★ 1,428+0近 7 天星标变化
#3
HOL ↗@HOL-Theorem-ProverStandard ML
HOL4 定理证明系统的标准来源。develop 分支是“主线开发”发生的地方；当 develop 通过回归测试时，master 会向前合并以进行同步。
★ 756+2近 7 天星标变化
#4
lambda-talk ↗@glebecJavaScript
函数群：JS 中的组合子、Lambda 演算与邱奇编码
★ 532+0近 7 天星标变化

← 返回主题列表