Combinatory logic and lambda calculus parser and interpreter in plain JS. Supports SKI, BCKW, Church numerals, defining own combinators, λ ↔ SK conversions, and more. An HTML playground and quest page included.
-
Updated
Oct 23, 2025 - JavaScript
Combinatory logic and lambda calculus parser and interpreter in plain JS. Supports SKI, BCKW, Church numerals, defining own combinators, λ ↔ SK conversions, and more. An HTML playground and quest page included.
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.
A combinatory logic library for ELM.
Add a description, image, and links to the combinators-calculus topic page so that developers can more easily learn about it.
To associate your repository with the combinators-calculus topic, visit your repo's landing page and select "manage topics."