| cohomolo-gy/haskell-resources |
824 |
|
0 |
0 |
almost 4 years ago |
0 |
|
0 |
other |
JavaScript |
| A List of Foundational Haskell Papers |
| cedille/cedille |
305 |
|
0 |
0 |
over 4 years ago |
0 |
|
46 |
other |
Agda |
| Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations |
| glebec/lambda-talk |
246 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
mit |
JavaScript |
| A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS |
| ucsd-progsys/elsa |
172 |
|
0 |
0 |
over 2 years ago |
9 |
October 01, 2025 |
1 |
mit |
Haskell |
| Elsa is a lambda calculus evaluator |
| goldfirere/glambda |
168 |
|
0 |
0 |
about 7 years ago |
3 |
November 27, 2017 |
0 |
bsd-3-clause |
Haskell |
| The home of the Glamorous Glambda interpreter |
| ultimate-lambda/book-reviews |
137 |
|
0 |
0 |
almost 10 years ago |
0 |
|
0 |
|
|
| paf31/purescript-purview |
107 |
|
0 |
0 |
almost 8 years ago |
0 |
April 04, 2018 |
3 |
mit |
PureScript |
| A UI library based on the incremental lambda calculus |
| HerrmannM/eole |
92 |
|
0 |
0 |
over 6 years ago |
0 |
|
4 |
gpl-3.0 |
Rust |
| Éole, a Lévy-optimal lambda calculus evaluator without oracle |
| ilya-klyuchnikov/lambdapi |
86 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
other |
Haskell |
| Dependently Typed Lambda Calculus in Haskell |
| ljedrz/lambda_calculus |
85 |
|
2 |
1 |
over 2 years ago |
40 |
September 20, 2023 |
0 |
cc0-1.0 |
Rust |
| A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust |
