A modern proof language
-
Updated
Jul 20, 2024 - JavaScript
A modern proof language
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
🔮 Estudos obscuros de programação funcional
🐦 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.
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
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."