Visual Lambda Calculus – a thesis project (2008) revived for the web
Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated. I recently revived and cleaned up the project and published it as an interactive web version: https://bntre.github.io/visual-lambda/ GitHub repo: https://github.com/bntre/visual-lambda It also includes a small "Lambda Puzzles" challenge, where you try to extract a hidden free variable (a golden coin) by constructing the right term:…
In plain words
Visual Lambda is a web-based graphical environment for exploring lambda calculus. It lets users manipulate lambda terms as draggable 2D structures using "Bubble Notation," with beta-reduction shown through smooth animations. The tool includes Lambda Puzzles, interactive challenges where users construct terms to extract hidden variables. Originally developed as a 2008 master's thesis, the project has been revived and modernized for the web.
written from the facts on this page · September 2026
From the sources
In the maker’s words, at launch
Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated. I recently revived and cleaned up the project and published it as an interactive web version: https://bntre.github.io/visual-lambda/ GitHub repo: https://github.com/bntre/visual-lambda It also includes a small "Lambda Puzzles" challenge, where you try to extract a hidden free variable (a golden coin) by constructing the right term: https://github.com/bntre/visual-lambda#puzzles
More dev tools this month
the category →
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com
