LambdaLisp – A Lisp interpreter that runs on lambda calculus

In plain words

LambdaLisp is a Lisp interpreter built on lambda calculus foundations. It translates Lisp code into pure lambda calculus expressions, making it useful for anyone interested in functional programming theory or exploring how programming languages work at their mathematical core. The project appeals to developers, computer science students, and Lisp enthusiasts who want to understand the deep connections between symbolic computation and formal logic.

written from the facts on this page · September 2026

From the sources

LambdaLisp is a Lisp interpreter written as an untyped lambda calculus term. The input and output text is encoded into closed lambda terms using the Mogensen-Scott encoding , so the entire computation process solely consists of the beta-reduction of lambda calculus terms. When run on a lambda calculus interpreter that runs on the terminal, it presents a REPL where you can interactively define and evaluate Lisp expressions. Supported interpreters are: LambdaLisp can be used to write interactive programs. Execution speed is fast as well, and the number guessing game runs on the terminal with an almost instantaneous response speed. The embedded PDF may not show on mobile. The same PDF is also…from woodrush.github.io

• 
  Lambda-8cc – An x86 C compiler written in untyped lambda calculus2022 · github.com · ▲249

  x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.

• RL
  Risp – Lisp in Rust2019 · m.stopa.io · ▲314

  Read Essays by Stepan Parunashvili

• PW
  Programming with Pure Lambda Calculus2023 · bruijn.marvinborner.de · ▲61

  Functional programming language based on pure de Bruijn indexed lambda calculus.

• 
  Term-Lisp – A Lisp, based on pattern matching and term rewriting2024 · github.com · ▲83

  A lisp dialect based on pattern matching and term rewriting - abuseofnotation/termlisp

• SN
  SectorLISP now fits in one sector2021 · justine.lol · ▲323
• 
  A Lisp Interpreter for Shell Scripting2025 · github.com · ▲114

  Redstart is a lightweight Lisp interpreter written in C++ with a focus on shell scripting. It lets you combine the expressive power of Lisp with the practicality of the Unix shell: you can run commands, capture output, pipe between processes, and still use Lisp syntax for logic and structure. Think of it as writing your shell scripts in Lisp instead of Bash.

• 
  SimCity, but with Permits▲922

  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 · 2d ago · permit.petercai.com

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

  Life & fun · 14d 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 · 15d 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 · 9d 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 · 13d ago · carrierexplode.com

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

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

• IM
  I may have created a new type of puzzle▲1,859

  Life & fun · 2022 · dogbunnypuzzle.com

• 
  I'm building an open-source Amazon▲1,335

  A couple of years ago, I had an interesting idea. What if there was a marketplace where all the underlying tech was open-source? The order management system, the storefront, customer support, etc. The marketplace would simply connect to the seller’s infra instead of locking them in. If, for some reason, the seller is removed from the marketplace, their software stays with them and they can continue accepting orders directly. This model can be used to disrupt any marketplace from AirBNB to UberEats: building tech for home renters and restaurants and later, leveraging that to build a competing…

  Dev tools · 2022 · openship.org

• 
  Polywork▲1,214

  Discover opportunities to collaborate

  Life & fun · 2022

• 
  xTiles▲1,036

  Organize your ideas & projects visually

  Work · 2022 · xtiles.app

• 
  Arcade 2.0▲1,026

  The easiest way to showcase your product

  Life & fun · 2022 · arcade.software

• 
  Maven▲978

  100+ live courses taught by experts, education reimagined

  Life & fun · 2022 · maven.com