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:…
Visual Lambda Calculus – a thesis project (2008) revived for the web launched on February 28, 2026 with 49 votes, #583 of 16,627 launches that month and more than 95% of that year's launches.
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
Visual environment for manipulation the lambda calculus expressions - bntre/visual-lambda
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…
Does a similar job
all alternatives →- ALA lambda expression visualizer for the web2013 · brycec.github.com · ▲43
LambdaLisp – A Lisp interpreter that runs on lambda calculus2022 · woodrush.github.io · ▲189A Lisp interpreter written as an untyped lambda calculus term
Visualize Data Structures in VS Code2020 · github.com · ▲509An extension for VS Code that visualizes data during debugging. - vscode-debug-visualizer/extension at master · hediet/vscode-debug-visualizer
Collection of animated algorithms and data structures2020 · chrislaux.com · ▲139Visual explanations of Algorithms and Data structures
Caramel – a modern syntax for the lambda calculus2015 · github.com · ▲130A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 21d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, February 2026
the whole month →
Lovon AI Therapy▲801Feel closer and have more fun with your partner every day!
AI · Feb 2026 · lovon.app
Hello my name is Ben Ward for the past 3 years I have been remastering the financial game Wall Street Raider created by Michael Jenkins originally on DOS in 1986. It has been a rough journey but I finally see the light at the end of the tunnel. I just recently redid the website and thought maybe the full story of how this project came to be would interest you all. Thank you for reading.
Work · Feb 2026 · wallstreetraider.com