A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
🐦 Some combinators
⛪ Church Encoding in JS
Fun with λ calculus!
An implementation of the Formality language in JavaScript
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
Specification of the Formality proof and programming language
Church Encoding Implementation in JavaScript
Interpreter for simply typed lambda calculus implemented in JavaScript λ
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
js lambda calculus implementation of the fibonacci sequence
Some incremental examples suitable to host an AWS Lambda Functions workshop
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
A visualiser for lambda terms as rooted maps.
🎨 Drawing images with lambda calculus
Some JS techniques and tools which are at least associated with lambda calculus
A Jupyter kernel for the Mikrokosmos lambda interpreter
A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity.
👾 Infinite Craft, but for lambda calculus!
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."