Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Lambda Talk | 246 | 5 years ago | mit | JavaScript | ||||||
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
Pi Calc | 8 | 4 years ago | Coq | |||||||
Pi-calculus in Coq | ||||||||||
Encoding Examples | 6 | 3 years ago | other | |||||||
Examples of computation abstractions using the Robust Ambients calculus | ||||||||||
Lcc | 6 | 7 years ago | mit | Python | ||||||
A Lambda Calculus to Python compiler |