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.

David Keenan

./img/dissect-mocking-bird.gif

Wayne Citrin, Richard Hall, Benjamin Zorn

./img/vex.gif

John Tromp

./img/tromp.gif

Viktor Massalõgin, (May 2008)

./img/visual-lambda.png

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

Marius Buliga

./img/chemlambda-anim.gif

Research paper

Bret Victor

./img/alligator-eggs.png

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

David Peter

./img/cube-composer.png

Chelsea Voss

./img/lambda-circuitry.png

Li-Ren Chien and Daniel Buehre

./img/typed-mind-maps.png

Mike Thyer

./img/lambda-animator.png

Dylan Bumford

http://lambdacalculator.com/images/visual.png

David Ruiz and Mateu Villaret

./img/tilc.png

John Lamping

./img/lamping.png

Adriel

./img/lunarflow.jpg

./img/anagopos.png Niels Bjørn Grathwohl, Jeroen Ketema, Jens Delund Pallesen, Jakob Grue Simonsen

Lingdong Huang

./img/l2d.png

Demo

Lukas Süss

./img/annotated-lambda.png

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.