:bird: Some combinators
Life like molecular computers with artificial chemistry.
:church: Church Encoding in JS
A simple, zero-dependency implementation of the untyped lambda calculus ...
Fun with λ calculus!
An introduction to the Lambda Calculus
An interactive theorem prover based on lambda-tree syntax
An implementation of a predicative polymorphic language with bidirection...
Animations of lambda term reduction sequences
Make a lambda calculus.
Book: Introduction to Dependent Types with Idris
An implementation of the Formality language in JavaScript
(λ) Educational lambda calculus interpreter
minimalist pure lazy functional programming language (pythonic haskell)
Lambda Calculus things implemented on Python