Numbat – A programming language with physical dimensions as types

In plain words

Numbat is a programming language that treats physical dimensions as types, launched in 2023. It enables developers to write code that automatically tracks and validates units of measurement, preventing calculation errors across different physical quantities. The language is designed for scientists, engineers, and programmers who work with physical calculations and need built-in type safety for dimensional analysis. Its distinctive feature is the integration of dimensional analysis directly into the type system, reducing bugs in scientific and engineering applications.

written from the facts on this page · September 2026

From the sources

Numbat is a programming language that aims to provide a convenient way to perform computations with physical units. One of the main goals of the language is to help users write correct programs. It has a static type system where physical dimensions act as types. The expression 3 months , for example, has a type of Time . Similarly, the expression 2 years also has a type of Time . The compound expression 3 months + 2 years is therefore well-typed: On the other hand, 3 months + 2 lightyears is ill -typed, because the right-hand side is of type Length . You can change ‘years’ to ‘lightyears’ in the editor above to see the resulting compiler error. Before we describe the…from numbat.dev

• 
  Winglang – A new cloud-oriented programming language2023 · github.com · ▲116

  A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡ - winglang/wing

• 
  Marsha – An LLM-Based Programming Language2023 · github.com · ▲140

  Marsha is a functional, higher-level, English-based programming language that gets compiled into tested Python software by an LLM - alantech/marsha

• CA
  CalcuLaTeX, a pretty-printing calculator language2021 · mkhan45.github.io · ▲230
• 
  Tiny embedded scripting language (in modern C++)2022 · gitlab.com · ▲27

  Pruto - a tiny "embedding-required language"

• 
  A custom font that displays Cistercian numerals using ligaturesFeb 2026 · bobbiec.github.io · ▲171

  A font that renders numbers as medieval Cistercian numerals

• 
  Numbr2021 · numbr.dev · ▲289

  An elegant calculator for the web

• 
  SimCity, but with Permits▲907

  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 · 1d 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

• 
  Flowla▲1,119

  Digital sales rooms that wow buyers

  Growth · 2023 · flowla.com

• 
  Passionfroot Discovery▲962

  Discover & book top creators to promote your product

  Growth · 2023 · passionfroot.me

• 
  Re:catch▲939

  If Google Form & Calendly had a baby

  Growth · 2023 · recatch.cc

• 
  Pitch 2.0▲886

  Create, share and analyze presentations faster than ever

  Work · 2023 · pitch.com

• 
  LeadDelta 3.0▲883

  CRM built for modern teams & creators powered by AI

  AI · 2023 · leaddelta.com

• 
  SpeedVitals▲829

  Hi HN, I’m Kashish, one of the co-founders of SpeedVitals, a platform for testing & monitoring website performance with a major emphasis on Core Web Vitals. Until now, our platform has only focused on Synthetic/Lab testing, such as Lighthouse tests and TTFB tests. But now, we have developed a Real-User Monitoring platform that doubles up as a Web Analytics tool. One major feature we have that most RUM tools lack is Performance Audits. Just like Lighthouse audits work on Lab test data, our audits work across all the real-user visits and gives suggestions on what task to prioritize first.…

  Dev tools · 2023 · speedvitals.com