A lambda expression visualizer for the web

In plain words

A lambda expression visualizer for the web helps users understand how lambda calculus works by visualizing expressions interactively. Launched in 2013, it allows people interested in functional programming and computer science theory to see the step-by-step evaluation of lambda expressions. The tool runs directly in a web browser, making it accessible without installation. It's designed for students and programmers wanting to learn or explore the fundamentals of lambda calculus through visual representation.

written from the facts on this page · September 2026

• 
  Visual Lambda Calculus – a thesis project (2008) revived for the webFeb 2026 · github.com · ▲49

  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:…

• 
  A web text-editor where you can write, compute and draw2022 · lambdaway.free.fr · ▲218
• FT
  Fourier Transform Visualized via WebGL2021 · static.laszlokorte.de · ▲175
• 
  LambdaLisp – A Lisp interpreter that runs on lambda calculus2022 · woodrush.github.io · ▲189

  A Lisp interpreter written as an untyped lambda calculus term

• 
  Algorithm Visualizer2016 · jasonpark.me · ▲263

  Write down your algorithm to be visualized

• 
  Dr. Lambda2023 · chatslide.ai · ▲221

  Create slides with words, PDF & YouTube videos

• 
  SimCity, but with Permits▲862

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 20h ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 13d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 14d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 8d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 12d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 22d ago · space.bl2.net

• AW
  a web-based xkcd-style comix editor▲586

  Life & fun · 2013 · cmx.io

• PA
  Pick a better background pattern for your website▲347

  SubtlePatterns Bookmarklet allows you to preview backgrounds for your website quickly and easily

  Life & fun · 2013 · bradjasper.com

• WC
  What colour is your IP address?▲208

  Life & fun · 2013 · prettyip.meetstrange.com

• 
  Build your own Heroku on your own servers▲207

  Deploy your applications to any cloud provider or your own servers. No lock-in, full control. From 1 to 1000 servers with Cloud 66

  Dev tools · 2013 · cloud66.com

• AC
  a conspiracy theory generator▲181

  Find information, resources and relevant links for verifiedfacts.org. This domain may be for sale.

  Life & fun · 2013 · verifiedfacts.org

• HH
  Hacky – Hacker News app for Mac▲163

  Life & fun · 2013 · hackyapp.com