A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
-
Updated
Feb 3, 2024 - JavaScript
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 self-hosting mini Haskell compiler with a mini C runtime.
🐦 *cheep cheep shriek caw*
Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates
A curated list of combinators
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Like the Programming Languages Zoo but with esoteric languages.
Implementing a small functional language with a combinator based graph-reduction machine
Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
A proof of confluence for combinatory logic
An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.
writeups from the book of the same name
Esoteric unary combinatory logic (variant of Jot)
Experiments to understand and find practical use cases for combinators.
Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system
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."