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
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Some incremental examples suitable to host an AWS Lambda Functions workshop
A visualiser for lambda terms as rooted maps.
Some JS techniques and tools which are at least associated with lambda calculus
A Jupyter kernel for the Mikrokosmos lambda interpreter
🎨 Drawing images with lambda calculus
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."