Alternatives

Products that do what Hindley-Milner Type Inference Algorithm in OCaml does

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

   2015 · github.com

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

   2022 · pypi.org

3. 3BA
   Brancher – A user-friendly PyTorch module for probabilistic inference▲96

   2019 · brancher.org

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

   2020 · github.com

5. 5PA
   PySchemes – A library for validating data structures in Python▲94

   2017 · github.com

6. 6CA
   Caramel – a modern syntax for the lambda calculus▲130

   2015 · github.com

7. 7EA
   Eole, a Lévy-optimal lambda calculus evaluator written in Rust▲106

   2019 · github.com

8. 8LA
   LambdaNet – A functional neural network library written in Haskell▲56

   2014 · github.com

9. 9OH
   Optimizing Higher Order Functions with Hypothetical Inverses▲55

   2016 · medium.com

10. 10JA
    Jlama – A fast Java inference engine for GPT and Llama models▲7

    2023 · github.com

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

    2017 · github.com

12. 12OA
    OWebl – An OCaml Web Framework▲55

    2015 · github.com

13. 13LA
    Lark, a modern parsing library with Earley and LALR(1) implementations▲15

    2017 · github.com

14. 14ZT
    Zod – TypeScript-first validation library with static type inference▲5

    2020 · github.com

15. 15PA
    Pykov – a tiny Python module on finite regular Markov chains▲37

    2014 · github.com

16. 16AW
    A Wordle Solver in OCaml▲7

    2022 · github.com

17. 17PA
    Philip2 – an Elm-to-OCaml compiler▲8

    2019 · medium.com

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

    Mar 2026 · peps.python.org

19. 19IG
    Inference GUIs for 12 SoTA ML models▲9

    2020 · gradiohub.com

20. 20AH
    A Haskell DSL for deep learning models▲10

    2015 · github.com

21. 21NL
    Natural Language Earley Parser Algorithm in Python▲14

    2017 · github.com

22. 22TS
    Training synthetic models on highly complex datasets▲10

    2022 · github.com

23. 23AT
    A toy compiler of a Scala subset▲13

    2021 · mykolav.github.io

24. 24TA
    Treenee, a simple “decision tree” engine▲12

    2020 · github.com

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