4 results found Sort:

slovnicki
pLam slovnicki
17
450
mit
9
An interpreter for learning and exploring pure λ-calculus
church lambda language interpreter computability church-encoding lambda-calculus numeral-systems logic-programming computability-theory programming-language functional-programming
Created 2017-08-05
269 commits to master branch, last one 3 years ago
benji6
church benji6
10
127
mit
4
:church: Church Encoding in JS
haskell church-encoding lambda-calculus combinatory-logic functional-programming
Created 2015-12-12
279 commits to master branch, last one 18 days ago
ljedrz
lambda_calculus ljedrz
10
114
cc0-1.0
4
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
rust debruijn rust-library beta-reduction scott-encoding church-encoding lambda-calculus ski-combinators lambda-functions parigot-encoding combinatory-logic stump-fu-encoding lambda-expressions lambda-interpreter reduction-strategies embedded-iterators-encoding
Created 2017-04-05
752 commits to master branch, last one 4 months ago
marvinborner
bruijn marvinborner
0
88
mit
6
:abacus: Programming with pure lambda calculus
de-bruijn call-by-need church-encoding lambda-calculus abstract-machine balanced-ternary combinatory-logic programming-language
Created 2022-06-17
298 commits to main branch, last one 15 days ago