Programming with Pure Lambda Calculus

In plain words

Programming with Pure Lambda Calculus is a tool for learning and practicing functional programming using pure lambda calculus. It is designed for developers and computer science students who want to understand the theoretical foundations of computation. The tool stands out by allowing users to write and execute programs using only lambda calculus primitives, making abstract mathematical concepts tangible and interactive.

written from the facts on this page · September 2026

From the sources

Functional programming language based on pure de Bruijn indexed lambda calculus. Efficient reduction using abstract machines and higher-order encodings. Compilation to Tromp's binary lambda calculus. Support for byte and ASCIIfrom bruijn.marvinborner.de

• 
  LambdaLisp – A Lisp interpreter that runs on lambda calculus2022 · woodrush.github.io · ▲189

  A Lisp interpreter written as an untyped lambda calculus term

• 
  ScrapScript – A tiny functional language for sharable software2023 · scrapscript.org · ▲503

  Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)

• 
  LambdaNet – A functional neural network library written in Haskell2014 · github.com · ▲56

  Purely functional artificial neural network library implemented in Haskell. - jbarrow/LambdaNet

• 
  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.

• 
  Caramel – a modern syntax for the lambda calculus2015 · github.com · ▲130

  A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.

• LA
  Lambduck, a Functional Programming Brainfuck2025 · imjakingit.github.io · ▲70

  What if Brainfuck was less like C and more like Scheme? The interpreter implemetation is pretty bad. It's not very fast, it's not very good, and it's probably not very correct. But maybe there's some vaguely interesting programs you could write with it! For example, the Y combinator: λf. (λx. f (x x)) (λx. f (x x)) is written as: \` \`1 `0 0 \`1 `0 0

• 
  SimCity, but with Permits▲882

  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 · 22h 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

• 
  Beeper Mini – iMessage client for Android▲1,521

  Hi HN! I’m proud to share that we have built a real 3rd party iMessage client for Android. We did it by reverse engineering the iMessage protocol and encryption system. It's available to download today (no waitlist): https://play.google.com/store/apps/details?id=com.beeper.ima and there's a technical writeup here: https://blog.beeper.com/p/how-beeper-mini-works. Unlike every other attempt to build an iMessage app for Android (including our first gen app), Beeper Mini does not use a Mac server relay in the cloud. The app connects directly to Apple…

  Work · 2023 · beeper.com

• 
  Heynote – A dedicated scratchpad for developers▲1,063

  Hey! I made Heynote entirely for my own use case. For many years, I always had an Emacs instance running with the scratch buffer open, even long after I had abandoned Emacs as my programming editor in favor of more recent IDE:s. The simplicity of having just one big scratch buffer appeals to me, but I still want to separate the different things I jot down somehow (without using tabs or similar). Previously, my solution was to insert a bunch of blank lines between the notes, but hitting C-A would still select the entire buffer. That's why I came up with the concept of "blocks", which turned…

  Work · 2023 · heynote.com

• 
  LogoFast▲988

  Make beautiful logos with AI, fast & free

  AI · 2023 · logofa.st

• 
  FuseBase▲939

  Client collaboration platform for professional services

  Dev tools · 2023 · thefusebase.com

• 
  Beep! 2.0▲871

  Fastest tool to assign and share visual tasks with your team

  Work · 2023 · justbeepit.com

• 
  Inbox Zero▲821

  Clean Up Your Inbox In Minutes Newsletter management, AI automation, and email analytics. Inbox Zero is the open-source email app that puts you back in control of your inbox.

  AI · 2023 · getinboxzero.com