├── .github └── FUNDING.yml ├── img ├── alligator-eggs.png ├── anagopos.png ├── annotated-lambda.png ├── chemlambda-anim.gif ├── cube-composer.png ├── dissect-mocking-bird.gif ├── graphic-lambda.png ├── l2d.png ├── lambda-animator.png ├── lambda-circuitry.png ├── lamping.png ├── lunarflow.jpg ├── tilc.png ├── tromp.gif ├── typed-mind-maps.png ├── vex.gif └── visual-lambda.png └── readme.org /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | # These are supported funding model platforms 2 | 3 | github: prathyvsh 4 | -------------------------------------------------------------------------------- /img/alligator-eggs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/alligator-eggs.png -------------------------------------------------------------------------------- /img/anagopos.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/anagopos.png -------------------------------------------------------------------------------- /img/annotated-lambda.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/annotated-lambda.png -------------------------------------------------------------------------------- /img/chemlambda-anim.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/chemlambda-anim.gif -------------------------------------------------------------------------------- /img/cube-composer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/cube-composer.png -------------------------------------------------------------------------------- /img/dissect-mocking-bird.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/dissect-mocking-bird.gif -------------------------------------------------------------------------------- /img/graphic-lambda.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/graphic-lambda.png -------------------------------------------------------------------------------- /img/l2d.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/l2d.png -------------------------------------------------------------------------------- /img/lambda-animator.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/lambda-animator.png -------------------------------------------------------------------------------- /img/lambda-circuitry.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/lambda-circuitry.png -------------------------------------------------------------------------------- /img/lamping.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/lamping.png -------------------------------------------------------------------------------- /img/lunarflow.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/lunarflow.jpg -------------------------------------------------------------------------------- /img/tilc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/tilc.png -------------------------------------------------------------------------------- /img/tromp.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/tromp.gif -------------------------------------------------------------------------------- /img/typed-mind-maps.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/typed-mind-maps.png -------------------------------------------------------------------------------- /img/vex.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/vex.gif -------------------------------------------------------------------------------- /img/visual-lambda.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/prathyvsh/lambda-calculus-visualizations/47b8a2c068fc19b6e6c99f452fa98544dadf880b/img/visual-lambda.png -------------------------------------------------------------------------------- /readme.org: -------------------------------------------------------------------------------- 1 | * Lambda Calculus Visualizations 2 | 3 | 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. 4 | 5 | ** [[http://dkeenan.com/Lambda/][To Dissect a Mocking Bird]] 6 | David Keenan 7 | 8 | [[./img/dissect-mocking-bird.gif]] 9 | 10 | ** [[http://users.encs.concordia.ca/~haarslev/vl95www/html-papers/citrin/citrin.html][Visual Expressions]] 11 | Wayne Citrin, Richard Hall, Benjamin Zorn 12 | 13 | [[./img/vex.gif]] 14 | 15 | ** [[https://tromp.github.io/cl/diagrams.html][Lambda Diagrams]] 16 | John Tromp 17 | 18 | [[./img/tromp.gif]] 19 | 20 | ** [[http://bntr.planet.ee/lambda/work/visual_lambda.pdf][Visual Lambda]] 21 | Viktor Massalõgin, (May 2008) 22 | 23 | [[./img/visual-lambda.png]] 24 | 25 | Interactive Version: https://github.com/bntre/visual-lambda 26 | 27 | ** [[https://mbuliga.github.io/quinegraphs/lambda2mol.html#lambdanote][Chemlambda]] 28 | Marius Buliga 29 | 30 | [[./img/chemlambda-anim.gif]] 31 | 32 | [[https://arxiv.org/abs/1305.5786][Research paper]] 33 | 34 | ** [[http://worrydream.com/AlligatorEggs/][Alligator Eggs]] 35 | Bret Victor 36 | 37 | [[./img/alligator-eggs.png]] 38 | 39 | Alligator Eggs Interactive: http://metatoys.org/alligator/ 40 | 41 | ** [[http://david-peter.de/cube-composer/][Cube Composer]] 42 | David Peter 43 | 44 | [[./img/cube-composer.png]] 45 | 46 | ** [[https://csvoss.com/circuit-notation-lambda-calculus][Lambda Circuitry]] 47 | Chelsea Voss 48 | 49 | [[./img/lambda-circuitry.png]] 50 | 51 | ** [[https://ieeexplore.ieee.org/document/4740985][Using Typed Mind Maps]] 52 | Li-Ren Chien and Daniel Buehre 53 | 54 | [[./img/typed-mind-maps.png]] 55 | 56 | ** [[https://archive.is/bZEqn][Lambda Animator]] 57 | Mike Thyer 58 | 59 | [[./img/lambda-animator.png]] 60 | 61 | ** [[http://lambdacalculator.com/][Lambda Calculator]] 62 | Dylan Bumford 63 | 64 | [[http://lambdacalculator.com/images/visual.png]] 65 | 66 | ** [[http://ima.udg.edu/~villaret/tilc/tilc.pdf][Interactive Lambda Calculus Tracer]] 67 | David Ruiz and Mateu Villaret 68 | 69 | [[./img/tilc.png]] 70 | 71 | ** [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.2386&rep=rep1&type=pdf][An Algorithm for Optimal Lambda Calculus Reduction]] 72 | John Lamping 73 | 74 | [[./img/lamping.png]] 75 | 76 | ** [[https://github.com/lunarcast/lunarflow][Lunarflow]] 77 | Adriel 78 | 79 | [[./img/lunarflow.jpg]] 80 | 81 | ** [[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.699.9918&rep=rep1&type=pdf][Anagopos]] 82 | [[./img/anagopos.png]] 83 | Niels Bjørn Grathwohl, Jeroen Ketema, Jens Delund Pallesen, Jakob Grue Simonsen 84 | 85 | ** [[https://www.media.mit.edu/projects/2d-an-exploration-of-drawing-as-programming-language-featuring-ideas-from-lambda-calculus/overview/][λ-2D]] 86 | Lingdong Huang 87 | 88 | [[./img/l2d.png]] 89 | 90 | [[https://l-2d.glitch.me][Demo]] 91 | 92 | ** [[http://apm.bplaced.net/w/index.php?title=Annotated_lambda_diagram][Annotated Lambda Diagrams]] 93 | Lukas Süss 94 | 95 | [[./img/annotated-lambda.png]] 96 | --------------------------------------------------------------------------------