Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Python Lambda Calculus | 29 | 5 years ago | mit | Python | ||||||
Lambda Calculus things implemented on Python | ||||||||||
Vlci | 6 | 4 years ago | gpl-3.0 | C++ | ||||||
Vorotynsky's lambda calculus interpreter | ||||||||||
Lambda Calc Spec | 5 | 8 years ago | 6 | Python | ||||||
Not that lambda calculus really needs a spec... |