A dependently-typed programming language with static memory management

In plain words

A dependently-typed programming language with static memory management that launched in 2020. It's designed for developers who need both type safety and explicit control over memory allocation without garbage collection. The language combines dependent types—where types can depend on values—with compile-time memory management, making it suitable for systems programming, formal verification, or performance-critical applications where traditional memory management overhead is unacceptable.

written from the facts on this page · September 2026

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

• FS
  Fuse – statically typed functional programming languageAug 2026 · fuselang.org · ▲121

  Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…

• 
  Dependently typed language for proofs that you can implement in one day2021 · github.com · ▲138

  The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language

• 
  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 :)

• 
  Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261

  I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…

• 
  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▲877

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

• 
  Blush▲1,462

  Illustrations for everyone

  Dev tools · 2020 · blush.design

• 
  SHA-256 Animation▲1,053

  Animation of the SHA-256 hash function in your terminal. - in3rsha/sha256-animation

  Dev tools · 2020 · github.com

• 
  This Word Does Not Exist▲956

  This Word Does Not Exist uses an artificial intelligence model named GPT-2 to invent new English words.

  AI · 2020 · thisworddoesnotexist.com

• P3
  Plotting 3 years of hourly data in 150ms▲785

  Life & fun · 2020 · leeoniya.github.io

• 
  Untools▲783

  Hand-picked tools for better thinking

  Work · 2020 · untools.co

• 
  Copytesting▲781

  Improve your website copy based on data from your audience

  Growth · 2020 · wynter.com