Topic · lambda-calculus

lambda-calculus

Tracked open-source repos tagged lambda-calculus, sorted by stars.

Repos

4

Total stars

6,478

Avg. stars

1,620

Share

0.00%

Topics that frequently appear alongside lambda-calculus on the same repo.

Recent risers

Repos created in the last 90 days, tagged lambda-calculus.

No new repos tagged with this topic in the last 90 days.

#1
Kind ↗@HigherOrderCOHaskell
A modern proof language
★ 3,764-3Star change over the last 7 days
#2
fp-core.rs ↗@JasonShinRust
A library for functional programming in Rust
★ 1,428+0Star change over the last 7 days
#3
HOL ↗@HOL-Theorem-ProverStandard ML
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
★ 755+0Star change over the last 7 days
#4
lambda-talk ↗@glebecJavaScript
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
★ 532+0Star change over the last 7 days

← Back to topics