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

• UpdatedFeb 3, 2024
• JavaScript

🐦 Some combinators

• UpdatedDec 3, 2024
• JavaScript

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

• UpdatedSep 16, 2025
• Rust

🧮 Programming with pure lambda calculus

• UpdatedDec 7, 2025
• Haskell

⛪ Church Encoding in JS

• UpdatedDec 2, 2025
• JavaScript

A curated list of combinators

• UpdatedDec 1, 2025
• PHP

🐦 *cheep cheep shriek caw*

• UpdatedNov 16, 2023
• Haskell

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

• UpdatedDec 22, 2019
• Haskell

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

• UpdatedSep 10, 2025
• Haskell

Like the Programming Languages Zoo but with esoteric languages.

• UpdatedMay 22, 2020
• OCaml

Learning programs with the Exploration-Compression algorithm

• UpdatedMay 17, 2018
• OCaml

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

• UpdatedApr 15, 2024
• Go

• UpdatedNov 9, 2025
• TypeScript

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

• UpdatedJul 30, 2024
• Haskell

Implementing a small functional language with a combinator graph reduction engine

• UpdatedNov 20, 2025
• Haskell

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

• UpdatedJan 7, 2024
• OCaml

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

• UpdatedFeb 26, 2023
• Python

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

• UpdatedNov 2, 2022
• JavaScript

👾 Infinite Craft, but for lambda calculus!

• UpdatedJul 21, 2024
• JavaScript

Combinatory Logic Interpreter with user-definable primitives and abstraction algorithms

• UpdatedNov 6, 2017
• C