combinatory-logic topic
List
combinatory-logic repositories
lambda_calculus
98
Stars
10
Forks
Watchers
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
church
126
Stars
10
Forks
Watchers
:church: Church Encoding in JS
combinators-js
136
Stars
10
Forks
Watchers
:bird: Some combinators
lambda-talk
495
Stars
42
Forks
Watchers
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
mini-haskell
70
Stars
5
Forks
Watchers
A self-hosting mini Haskell compiler with a mini C runtime.
combinator
98
Stars
2
Forks
Watchers
A curated list of combinators
lambda-ski
29
Stars
1
Forks
Watchers
Implementing a small functional language with a combinator based graph-reduction machine
esoo
26
Stars
1
Forks
Watchers
Like the Programming Languages Zoo but with esoteric languages.
birb
79
Stars
4
Forks
Watchers
:bird: *cheep cheep shriek caw*
bruijn
73
Stars
0
Forks
Watchers
:abacus: Programming with pure lambda calculus