lambda-calculus-visualizations

lambda-calculus-visualizations copied to clipboard

• Lambda Calculus Visualizations

This is a catalog of visualizations of Lambda Calculus that I found during [[https://twitter.com/prathyvsh/status/1188787773441888257][my research]]. If you know of other cool Lambda Calculus visualizations, please consider raising an issue/PR.

** [[http://dkeenan.com/Lambda/][To Dissect a Mocking Bird]] David Keenan

[[./img/dissect-mocking-bird.gif]]

** [[http://users.encs.concordia.ca/~haarslev/vl95www/html-papers/citrin/citrin.html][Visual Expressions]] Wayne Citrin, Richard Hall, Benjamin Zorn

[[./img/vex.gif]]

** [[https://tromp.github.io/cl/diagrams.html][Lambda Diagrams]] John Tromp

[[./img/tromp.gif]]

** [[http://bntr.planet.ee/lambda/work/visual_lambda.pdf][Visual Lambda]] Viktor Massalõgin, (May 2008)

[[./img/visual-lambda.png]]

Interactive Version: https://bitbucket.org/bntr/visual-lambda/wiki/Home

** [[https://mbuliga.github.io/quinegraphs/lambda2mol.html#lambdanote][Chemlambda]] Marius Buliga

[[./img/chemlambda-anim.gif]]

[[https://arxiv.org/abs/1305.5786][Research paper]]

** [[http://worrydream.com/AlligatorEggs/][Alligator Eggs]] Bret Victor

[[./img/alligator-eggs.png]]

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

** [[http://david-peter.de/cube-composer/][Cube Composer]] David Peter

[[./img/cube-composer.png]]

** [[https://csvoss.com/circuit-notation-lambda-calculus][Lambda Circuitry]] Chelsea Voss

[[./img/lambda-circuitry.png]]

** [[https://ieeexplore.ieee.org/document/4740985][Using Typed Mind Maps]] Li-Ren Chien and Daniel Buehre

[[./img/typed-mind-maps.png]]

** [[https://archive.is/bZEqn][Lambda Animator]] Mike Thyer

[[./img/lambda-animator.png]]

** [[http://lambdacalculator.com/][Lambda Calculator]] Dylan Bumford

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

** [[http://ima.udg.edu/~villaret/tilc/tilc.pdf][Interactive Lambda Calculus Tracer]] David Ruiz and Mateu Villaret

[[./img/tilc.png]]

** [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.2386&rep=rep1&type=pdf][An Algorithm for Optimal Lambda Calculus Reduction]] John Lamping

[[./img/lamping.png]]

** [[https://github.com/lunarcast/lunarflow][Lunarflow]] Adriel

[[./img/lunarflow.jpg]]

** [[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.699.9918&rep=rep1&type=pdf][Anagopos]] [[./img/anagopos.png]] Niels Bjørn Grathwohl, Jeroen Ketema, Jens Delund Pallesen, Jakob Grue Simonsen

** [[https://www.media.mit.edu/projects/2d-an-exploration-of-drawing-as-programming-language-featuring-ideas-from-lambda-calculus/overview/][λ-2D]] Lingdong Huang

[[./img/l2d.png]]

[[https://l-2d.glitch.me][Demo]]

** [[http://apm.bplaced.net/w/index.php?title=Annotated_lambda_diagram][Annotated Lambda Diagrams]] Lukas Süss

[[./img/annotated-lambda.png]]