Hindley Milner
An implementation of Hindley-Milner in Clojure.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Egg | 1,164 |  | 6 | 4 months ago | 23 | June 29, 2023 | 20 | mit | Rust | |
| egg is a flexible, high-performance e-graph library | ||||||||||
| Hindley Milner | 152 | 10 years ago | epl-1.0 | Clojure | ||||||
| An implementation of Hindley-Milner in Clojure. | ||||||||||
| Python Lambda Calculus | 29 | 5 years ago | mit | Python | ||||||
| Lambda Calculus things implemented on Python | ||||||||||
| Systemt | 6 | 2 years ago | Haskell | |||||||
| 👨💻 Implementing System T in Haskell 👨💻 | ||||||||||
| 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... | ||||||||||
Alternatives To Hindley MilnerSelect To Compare
Alternative Project Comparisons
Popular Testing Projects
Popular Lambda Calculus Projects
Popular Software Quality Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Testing
Clojure
Lambda Calculus