Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Lambda Scala | 32 | 9 years ago | Scala | |||||||
Type level lambda calculus in Scala | ||||||||||
Lambda Scala3 | 10 | 2 years ago | 1 | mit | Scala | |||||
Type-level lambda calculus in Scala 3 |