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
🧮 Programming with pure lambda calculus
🐦 *cheep cheep shriek caw*
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.
A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
Learning programs with the Exploration-Compression algorithm
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
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
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
Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system
👾 Infinite Craft, but for lambda calculus!
Add a description, image, and links to the combinatory-logic topic page so that developers can more easily learn about it.
To associate your repository with the combinatory-logic topic, visit your repo's landing page and select "manage topics."