🧮 Programming with pure lambda calculus
programming-language lambda-calculus combinatory-logic church-encoding balanced-ternary abstract-machine de-bruijn call-by-need
- Updated
Oct 9, 2025 - Haskell
#
combinatory-logic
Here are 12 public repositories matching this topic...
🐦 *cheep cheep shriek caw*
programming-language functional-programming birds lambda-calculus combinatory-logic esolang ski-combinators
- Updated
Nov 16, 2023 - Haskell
A self-hosting mini Haskell compiler with a mini C runtime.
- Updated
Dec 22, 2019 - Haskell
Implementing a small functional language with a combinator based graph-reduction machine
haskell compiler functional-programming graph-algorithms lambda-calculus combinator combinatory-logic graph-reduction lambda-abstractions stref st-monad
- Updated
Sep 10, 2025 - Haskell
🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
- Updated
Jul 30, 2024 - Haskell
Implementing a small functional language with a combinator graph reduction engine
repl lambda-calculus combinatory-logic functional-language eval ski-combinators graph-reduction lispkit lambda-terms parallel-reduction combinator-graphs
- Updated
Aug 11, 2025 - Haskell
Esoteric unary combinatory logic (variant of Jot)
- Updated
Oct 7, 2023 - Haskell
writeups from the book of the same name
- Updated
Apr 22, 2019 - Haskell
An esoteric programming language based on combinatory logic
interpreter combinatory-logic esoteric-programming-language ski-combinator-calculus transpiled-language
- Updated
Oct 11, 2025 - Haskell
Simple Interpreter for the SKI combinator calculus
- Updated
Jun 18, 2024 - Haskell
Implementing the SKI combinator calculus in Haskell's type system
- Updated
Jun 26, 2018 - Haskell
"DeBruijn to SKI" Untyped language that compiles to Unlambda
- Updated
Dec 11, 2020 - Haskell
Improve this page
Add a description, image, and links to the combinatory-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the combinatory-logic topic, visit your repo's landing page and select "manage topics."