Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Lambda | 65 | 3 years ago | JavaScript | |||||||
Fun with λ calculus! | ||||||||||
Python Lambda Calculus | 29 | 5 years ago | mit | Python | ||||||
Lambda Calculus things implemented on Python | ||||||||||
Lambda Php | 21 | 10 years ago | mit | PHP | ||||||
Lambda calculus interpreter in PHP. | ||||||||||
Ski | 9 | 7 years ago | OCaml | |||||||
SKI combinators |