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://bitbucket.org/bntr/visual-lambda/wiki/Home

Graphic Lambda Calculus

Marius Buliga

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

Lunarflow

Matei Adriel

An Algorithm for Optimal Lambda Calculus Reduction

John Lamping