combinatory-logic topic
lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
church
:church: Church Encoding in JS
combinators-js
:bird: Some combinators
lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
combinator
A curated list of combinators
lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
esoo
Like the Programming Languages Zoo but with esoteric languages.
birb
:bird: *cheep cheep shriek caw*
bruijn
:abacus: Programming with pure lambda calculus