4 results found Sort:

17
449
mit
9
An interpreter for learning and exploring pure λ-calculus
Created 2017-08-05
269 commits to master branch, last one 3 years ago
10
127
mit
4
: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