A Python with Hindley-Milner-like type annotations, compiling to C

In plain words

Airtight is a Python-like programming language that features a Hindley-Milner-style type system and compiles to C. It combines Python's syntax and ease of use with strong static typing through type inference, targeting developers who want both readability and performance. The language is designed for those seeking to write Python-style code while benefiting from C's execution speed and the safety guarantees of a sophisticated type system.

written from the facts on this page · September 2026

• 
  Hindley-Milner Type Inference Algorithm in OCaml2016 · github.com · ▲136

  The Hindley Milner Type Inference Algorithm. Contribute to prakhar1989/type-inference development by creating an account on GitHub.

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

• 
  Prometeo – a Python-to-C transpiler for high-performance computing2021 · github.com · ▲166

  An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing - zanellia/prometeo

• 
  Hindley–Milner type inferencing in C2022 · github.com · ▲7

  This is a pretty straightforward port of Robert Smallshire's Python implementation to C. It type checks a factorial program correctly and is pretty fast. Mostly a learning exercise.

• 
  Prisma Python – A fully typed ORM for Python2022 · github.com · ▲130

  I created this ORM to fill a gap in the Python ecosystem. Due to the nature of typing in Python there are no other Python ORMs that can provide correct type hints. Prisma Python manages to work around this by auto-generating python types. Aside from static type checking, providing type hints means that you will get autocomplete suggestions for you which for me is the killer feature for this ORM (see the GIF in the README for an example). It's also built on top of Prisma, a next-generation ORM for TypeScript which means that the core query building and connection handling has been battle…

• 
  Pyper – Concurrent Python Made Simple2025 · github.com · ▲156

  Hello and happy new year! We're excited to introduce the Pyper package for concurrency & parallelism in Python. Pyper is a flexible framework for concurrent / parallel data processing, following the functional paradigm. Source code can be found on [github](https://github.com/pyper-dev/pyper) Key features: Intuitive API: Easy to learn, easy to think about. Implements clean abstractions to seamlessly unify threaded, multiprocessed, and asynchronous work. Functional Paradigm: Python functions are the building blocks of data pipelines. Let's you write clean, reusable…

• 
  /dev/null▲482

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  Startup Launch List▲1,251

  A​rticles you need to read before launching a startup.

  Growth · 2015 · startuplaunchlist.com

• 
  Clearbit Company Logo API▲693

  Get any site's company logo with just a URL

  Dev tools · 2015 · clearbit.com

• 
  Product Hunt Games▲686

  The best new games, every day

  Life & fun · 2015

• 
  Coverr▲584

  Beautiful, free videos for your homepage background.

  Work · 2015 · coverr.co

• 
  SLIDE▲563

  A hoverboard by Lexus (no joke)

  Life & fun · 2015

• 
  Lapa Ninja▲560

  The Best Landing Page Inspiration

  Work · 2015 · lapa.ninja