Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Haskell Resources | 824 | 2 years ago | other | JavaScript | ||||||
A List of Foundational Haskell Papers | ||||||||||
Cedille | 305 | 3 years ago | 46 | other | Agda | |||||
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations | ||||||||||
Lambda Talk | 246 | 5 years ago | mit | JavaScript | ||||||
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS | ||||||||||
Elsa | 172 | 9 months ago | 8 | September 29, 2022 | 1 | mit | Haskell | |||
Elsa is a lambda calculus evaluator | ||||||||||
Glambda | 168 | 5 years ago | 3 | November 27, 2017 | bsd-3-clause | Haskell | ||||
The home of the Glamorous Glambda interpreter | ||||||||||
Book Reviews | 137 | 8 years ago | ||||||||
Purescript Purview | 107 | 6 years ago | April 04, 2018 | 3 | mit | PureScript | ||||
A UI library based on the incremental lambda calculus | ||||||||||
Eole | 92 | 5 years ago | 4 | gpl-3.0 | Rust | |||||
Éole, a Lévy-optimal lambda calculus evaluator without oracle | ||||||||||
Lambdapi | 86 | 4 years ago | other | Haskell | ||||||
Dependently Typed Lambda Calculus in Haskell | ||||||||||
Lambda_calculus | 85 | 2 | 1 | 9 months ago | 40 | September 20, 2023 | cc0-1.0 | Rust | ||
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust |