Alternatives

Products that do what Hindley–Milner type inferencing in C does

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.

1. 1AP
   A Python with Hindley-Milner-like type annotations, compiling to C▲134

   2015 · github.com

2. 2HM
   Hindley-Milner Type Inference Algorithm in OCaml▲136

   2016 · github.com

3. 3RS
   Ruby static type checker – proof of concept▲115

   2017 · github.com

4. 4PA
   Poica – Algebraic data types and type introspection for pure C▲116

   2020 · github.com

5. 5MA
   Mys – an attempt to create a statically typed Python-like language▲50

   2020 · github.com

6. 6JA
   Jarvis, a Light Table like companion for Python▲164

   2012 · madlag.github.com

7. 7SH
   ShivyC – Hobby C compiler created in Python▲120

   2018 · github.com

8. 8PL
   Python library for functional programming▲129

   2017 · github.com

9. 9AS
   A simple Prolog Interpreter written in a few lines of Python 3▲149

   2019 · github.com

10. 10PA
    Prometeo – a Python-to-C transpiler for high-performance computing▲166

    2021 · github.com

11. 11DT
    Dependently typed language for proofs that you can implement in one day▲138

    2021 · github.com

12. 12CI
    C is for Camera, a 35mm film camera represented in Python objects▲103

    2021 · github.com

13. 13TA
    Tt – a Python library/cli for Boolean expressions▲23

    2017 · github.com

14. 14
    cli-typer▲100

    Practice touch typing in the command line

    2018

15. 15SF
    Smart Fruit – A Python schema-based machine learning library▲44

    I've made a small Python library, designed for quick-and-easy prototyping of machine learning models. It's built on top of scikit-learn, to serialize and deserialize data from the forms you're likely to have, to the format used in scikit-learn. https://github.com/madman-bob/Smart-Fruit It's pretty bare-bones at the moment, but I thought I'd see if there was any interest before spending too much time on it. Let me know what you think.

    2018

16. 16AS
    A Swift implementation of selected parts of Python standard library▲55

    2014 · github.com

17. 17P8
    PEP 827 – TS-like type manipulation in Python▲7

    Mar 2026 · peps.python.org

18. 18AS
    A set of handy tools to work with sequences and collections in Python▲29

    2013 · github.com

19. 19CA
    Calc, a simple command-line calulator in C▲31

    2015 · github.com

20. 20PP
    Practical Python – Python projects for beginners▲38

    2020 · codewithrepl.it

21. 21TA
    Tt – A Python Library/CLI for Boolean Expressions▲5

    2016 · github.com

22. 22AT
    Arguably – The best Python CLI library, arguably▲6

    I spent the past few weeks working on arguably. It uses your function signatures and docstrings to create a CLI. I built it to have the most common features of other libraries (and a few extra) in a much more concise syntax - no need for @click.option or typer.Option. It succeeds when you barely notice it's there. For most cases, you decorate a function with @arguably.command, and it just does what you'd expect: * Positional args for the function become positional CLI args * Keyword-only args become --options * Type hints set up parsing * Docstrings provide help messages for each command and…

    2023 · github.com

23. 23BA
    Built a tiny interpreter from scratch in C to understand how they work▲5

    Hi HN, I'm the author. I built this project for two simple reasons: I've always used higher-level languages and wanted to finally understand what's happening "under the hood" of an interpreter. I also wanted a real project to force me to "power up" my C skills, especially with manual memory management and reference counting. The result is ToyForth, a minimal interpreter for a Forth-like language, written from scratch in C, stack-based. I focused on making the code clean and understandable. It's broken down into a few simple parts: A parser that turns source text into a list of objects…

    Nov 2025 · github.com

24. 24FM
    Flow Matching model inference in C▲5

    As the title and description of the GitHub repo suggest, I’m working on a small project for purely educational purposes, with the goal of implementing generative model inference (small models capable of modeling 2D distributions) based on the Flow Matching paradigm in C. I’ve worked on generative AI models based on Flow Matching from a more “abstract” perspective, using frameworks like PyTorch, and I wanted to understand what goes on behind the scenes. The repository is still a work in progress and is also one of my first "serious" projects in C.

    Jul 2026 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →