🧮 Programming with pure lambda calculus
-
Updated
May 21, 2024 - Haskell
🧮 Programming with pure lambda calculus
A combinatory logic library for ELM.
Simple Interpreter for the SKI combinator calculus
A curated list of combinators
⛪ Church Encoding in JS
A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
👾 Infinite Craft, but for lambda calculus!
🐦 Some combinators
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
Implementing a small functional language with a combinator based graph-reduction machine
🐦 *cheep cheep shriek caw*
Implementing a small functional language with a combinator graph reduction engine
Esoteric unary combinatory logic (variant of Jot)
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates
A monad and combinator library. Experimental.
An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
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."