AttaLambda: a language where types and data are made of untyped lambdas

In plain words

AttaLambda is a small programming language built on pure, untyped lambda calculus that uses unary functions and application as its computational foundation. It provides readable syntax, exact rational number support, and runtime type checking. The language is designed for those interested in functional programming and mathematical computation, with input and output handled through a separate host boundary. Users can explore examples and documentation on the project's website.

written from the facts on this page · September 2026

From the sources

AttaLambda is a small language built on pure, untyped lambda calculus. Its ordinary computation is built from unary functions and application. It adds readable syntax, exact rational numbers, and runtime type checks. Input and output cross a separate host boundary. [1, 4, 9, 16] Explore the language , see examples , or get startedfrom attalambda.com

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

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

  A Lisp interpreter written as an untyped lambda calculus term

• 
  A dependently-typed programming language with static memory management2020 · github.com · ▲456

  A functional programming language with static memory management - vekatze/neut

• 
  Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model)2025 · gist.github.com · ▲226

  Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.

• 
  Micro-mitten – Research language with compile-time memory management2020 · github.com · ▲236

  I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.

• 
  Peridot – A functional language based on two-level type theory2022 · github.com · ▲151

  A fast functional language based on two level type theory - ehatti/peridot

• 
  SimCity, but with Permits▲936

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

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

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

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

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

• 
  An e-ink frame that hears birds and draws them as 1800s illustrations▲2,389

  E-ink bird frame for Raspberry Pi - real-time bird detection by audio, fully local AI, rendered as real, hand-cut 1800s bird illustrations. - arnegiacomo/fugleramme

  AI · Sep 2026 · github.com

• WI
  What if the speed of light was 5 km/h?▲629

  Special relativity simulator in which light crawls along at a human speed, so Lorentz contraction, aberration and Doppler shift happen at walking pace.

  Life & fun · Sep 2026 · rivendell.dmitrybrant.com

• 
  Jev▲544

  Fast, structured AI decisions for software automation

  AI · Sep 2026 · console.typesafe.ai

• 
  ReSO AI▲510

  Get discovered & recommended when customers ask AI

  AI · Sep 2026 · resollm.ai

• 
  Kilo Code for iOS and Android▲498

  Start coding agents, control sessions, review PRs. Anywhere.

  Dev tools · Sep 2026 · kilo.ai

• 
  AINA▲497

  Find your job search blind spots with an AI coach

  AI · Sep 2026 · aina-tech.io