4 results found Sort:
- Filter by Primary Language:
- Haskell (2)
- JavaScript (1)
- Rust (1)
- +
An interpreter for learning and exploring pure λ-calculus
Created
2017-08-05
269 commits to master branch, last one 3 years ago
:church: Church Encoding in JS
Created
2015-12-12
279 commits to master branch, last one 4 days ago
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Created
2017-04-05
752 commits to master branch, last one 3 months ago
:abacus: Programming with pure lambda calculus
Created
2022-06-17
298 commits to main branch, last one 23 hours ago