A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

🐦 Some combinators

⛪ Church Encoding in JS

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

A curated list of combinators

🐦 *cheep cheep shriek caw*

🧮 Programming with pure lambda calculus

A self-hosting mini Haskell compiler with a mini C runtime.

Implementing a small functional language with a combinator based graph-reduction machine

Like the Programming Languages Zoo but with esoteric languages.

Learning programs with the Exploration-Compression algorithm

A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic

Implementing a small functional language with a combinator graph reduction engine

🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell

Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020

👾 Infinite Craft, but for lambda calculus!

Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates

Combinatory Logic Interpreter with user-definable primitives and abstraction algorithms

A programming language based on combinatory logic and term rewrite systems, with an advanced type system.

Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system