Alternatives

Products that do what A Python with Hindley-Milner-like type annotations, compiling to C does

1. 1KA
   Koda, a typesafe functional toolkit for Python▲110

   2022 · pypi.org

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

   2020 · github.com

3. 3CA
   Cannoli – A compiler for a subset of Python written in Rust▲292

   2018 · github.com

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

   2021 · github.com

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

   2018 · github.com

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

   2016 · github.com

7. 7AA
   Algojammer – an experimental Python code editor inspired by Bret Victor▲309

   2018 · github.com

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

   2014 · github.com

9. 9PL
   Python library for functional programming▲129

   2017 · github.com

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

    2012 · madlag.github.com

11. 11CA
    Chelodina – A Logo-to-Python Transpiler▲36

    2018 · pablasso.com

12. 12FA
    FunctorFlow – An attempt to re-imagine Python libraries▲40

    2019 · functorflow.org

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

    2020 · github.com

14. 14SP
    Sultan – Pythonic interface to your shell▲155

    2017 · sultan.readthedocs.io

15. 15KA
    Kim – A Python serialization and marshaling framework▲136

    2017 · kim.readthedocs.io

16. 16PT
    Python-to-Python compiler for some 3.6 features in older versions▲87

    2017 · github.com

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

    2019 · github.com

18. 18RA
    RinohType – A modern LaTeX in 6500 lines of Python▲153

    2013 · mos6581.org

19. 19FA
    Fe – A tiny, embeddable language implemented in ANSI C▲143

    2020 · github.com

20. 20RL
    Rust-Like Traits in Python▲50

    2021 · github.com

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

    Mar 2026 · peps.python.org

22. 22AC
    A compiler for a small language into x86-64 assembly▲74

    2020 · github.com

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

    2020 · codewithrepl.it

24. 24PL
    Pipelines – Language for scripting parrallel pipelines with Python▲69

    2019 · github.com

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