Type-level Lambda Calculus interpreter in TypeScript

In plain words

Type-level Lambda Calculus interpreter in TypeScript is a tool that interprets lambda calculus expressions at the type level within TypeScript. It allows developers to work with functional programming concepts directly in the type system. The interpreter is designed for developers and researchers interested in advanced type theory and functional programming. It was released in 2021 and is available on GitHub for those exploring the intersection of programming languages and formal logic.

written from the facts on this page · September 2026

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

  A Lisp interpreter written as an untyped lambda calculus term

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

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

• 
  A SQL database implemented purely in TypeScript type annotations2020 · github.com · ▲426

  A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql

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

• AL
  A lambda expression visualizer for the web2013 · brycec.github.com · ▲43
• 
  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.

• 
  SimCity, but with Permits▲884

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

• 
  Magic Sidebar by BlackMagic.so▲1,084

  Powerful enhanced experience for Twitter

  Life & fun · 2021 · blackmagic.so

• 
  I made a modern web UI for Wikipedia▲979

  A beautiful, clean, modern web UI for Wikipedia. Enhance your Wikipedia experience with a redesigned look, new features and customization.

  Life & fun · 2021 · modernwiki.app

• 
  thirdweb▲897

  Build web3 apps and games, easily

  Dev tools · 2021 · thirdweb.com

• 
  Emoji to Scale▲713

  Your favorite emojis. To scale (more or less).

  Life & fun · 2021 · javier.xyz

• 
  Alfread▲641

  Actually read articles saved for later

  Work · 2021

• 
  BitsForDigits▲624

  A partial buyout marketplace free for bootstrapped founders

  Commerce · 2021 · flippa.com