Dev tools · alternatives · 2026
24 alternatives to A Python with Hindley-Milner-like type annotations, compiling to C
a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
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… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. A Python with Hindley-Milner-like type annotations, compiling to C launched in 2015; newer entries below may have overtaken it.
- 1
The Hindley Milner Type Inference Algorithm. Contribute to prakhar1989/type-inference development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 2
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…
2025 · github.com · its alternatives →
- 3
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing - zanellia/prometeo
2021 · github.com · its alternatives →
- 4
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.
2022 · github.com · its alternatives →
- 5
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…
2022 · github.com · its alternatives →
- 6
Full Stack Python explains programming concepts in plain language and provides links to the best tutorials for those topics.
2014 · fullstackpython.com · its alternatives →
- 7
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…
2025 · github.com · its alternatives →
- 8
Greetings! A 2.5 weekends project to teach myself newer Python features (>= 3.10). Conditions are written as Lambda expressions that annotate parameters and return types, and coexist with type annotations. Symbols to share values between conditions are also supported to a limited extend.
2022 · github.com · its alternatives →
- 9
Hi HN! Erik here from Banana (formerly the serverless GPU platform), excited to show you what we’ve been working on next: Fructose Fructose is a python package to call LLMs as strongly typed functions. It uses function type signatures to guide the generation and guarantee a correctly typed output, in whatever basic/complex python datatype requested. By guaranteeing output structure, we believe this will enable more complex applications to be built, interweaving code with LLMs with code. For now, we’ve shipped Fructose as a client-only library simply calling gpt-4 (by default) with json…
2024 · github.com · its alternatives →
- 10
C compiler created in Python. Contribute to ShivamSarodia/ShivyC development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 11KA
2022 · pypi.org · its alternatives →
- 12RA
I originally planned to release RinohType into wild only after I had finished a full review, refactoring and documenting of the code. I also wanted to write some API documentation and a small tutorial, all in the spirit of making a good first impression. Turns out all this takes a ...
2013 · mos6581.org · its alternatives →
- 13
AST-based fragmental source code refactoring toolkit for Python - isidentical/refactor
2021 · github.com · its alternatives →
- 14
Fast C based HTML 5 parsing for python. Contribute to kovidgoyal/html5-parser development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 15
Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 16
The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-lang.org for more information. - mys-lang/mys
2020 · github.com · its alternatives →
- 17
Python With Kurly braces. Contribute to umlet/pwk development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 18
2014 · github.com · its alternatives →
- 19
transpile algorithms/libs to idiomatic JS, Go, C#, Ruby - GitHub - pseudo-lang/pseudo: transpile algorithms/libs to idiomatic JS, Go, C#, Ruby
2016 · github.com · its alternatives →
- 20
A small forth-like language that targets the CPython VM. - llllllllll/phorth
2017 · github.com · its alternatives →
- 21
C parser and interpreter written in Python with automatic ctypes interface generation - PyCParser/README.md at master · albertz/PyCParser
2019 · github.com · its alternatives →
- 22
Ape Programming Language. Contribute to kgabis/ape development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 23
I built Copapy as an experiment: Can Python be used for hard real-time systems? Instead of an interpreter or JIT, Copapy builds a computation graph by tracing Python code and uses a custom copy-and-patch compiler. The result is very fast native code with no GC, no syscalls, and no memory allocations at runtime. The copy-and-patch compiler currently supports x86_64 as well as 32- and 64-bit ARM. It comes as small Python package with no other dependencies - no cross-compiler, nothing except Python. The current focus is on robotics and control systems in general. This project is early but…
Feb 2026 · github.com · its alternatives →
- 24
Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional
2017 · github.com · its alternatives →
Also compare
- Hindley-Milner Type Inference Algorithm in OCaml alternatives
- Bolt – A super-fast, statically-typed scripting language written in C alternatives
- Prometeo – a Python-to-C transpiler for high-performance computing alternatives
- Hindley–Milner type inferencing in C alternatives
- Prisma Python – A fully typed ORM for Python alternatives
- Full Stack Python alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →