Lambda Calculus Visualizations

This is a catalog of visualizations of Lambda Calculus that I found during my research. If you know of other cool Lambda Calculus visualizations, please consider raising an issue/PR.

To Dissect a Mocking Bird

David Keenan

Visual Expressions

Wayne Citrin, Richard Hall, Benjamin Zorn

Lambda Diagrams

John Tromp

Visual Lambda

Viktor Massalõgin, (May 2008)

Interactive Version: https://github.com/bntre/visual-lambda

Chemlambda

Marius Buliga

Research paper

Alligator Eggs

Bret Victor

Alligator Eggs Interactive: http://metatoys.org/alligator/

Cube Composer

David Peter

Lambda Circuitry

Chelsea Voss

Using Typed Mind Maps

Li-Ren Chien and Daniel Buehre

Lambda Animator

Mike Thyer

Lambda Calculator

Dylan Bumford

Interactive Lambda Calculus Tracer

David Ruiz and Mateu Villaret

An Algorithm for Optimal Lambda Calculus Reduction

John Lamping

Lunarflow

Adriel

Anagopos

Niels Bjørn Grathwohl, Jeroen Ketema, Jens Delund Pallesen, Jakob Grue Simonsen

λ-2D

Lingdong Huang

Demo

Annotated Lambda Diagrams

Lukas Süss

Other Lists

Lambda Calculus Devkit

https://github.com/woodrush/lambda-calculus-devkit Collection of of tools for writing programs in lambda calculus and SKI combinator calculus, written by various authors.