church-encoding topic

List church-encoding repositories

lambda_calculus

98
Stars
10
Forks
Watchers

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

verified publisher icon ljedrz

js-church-encoding

35
Stars
3
Forks
Watchers

Church Encoding Implementation in JavaScript

verified publisher icon terremoth

church

126
Stars
10
Forks
Watchers

:church: Church Encoding in JS

verified publisher icon benji6

pLam

444
Stars
17
Forks
Watchers

An interpreter for learning and exploring pure λ-calculus

verified publisher icon slovnicki

bruijn

86
Stars
0
Forks
Watchers

:abacus: Programming with pure lambda calculus

verified publisher icon marvinborner