There are 2 repositories under hindley-milner topic.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Functional programming inspired by ML for the Erlang VM
Different type inference algorithms implemented in F#
Swift type checking and semantic analysis for developer tools
A self-hosting mini Haskell compiler with a mini C runtime.
shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
A Hindley-Milner polymorphic typing system
A statically-typed strictly-evaluated garbage-collected readable programming language.
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Playing with type systems
Template for Hindley-Milner based languages
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
Interpreter of the ITGL with dynamic type inference
a language for Cultural Articulation
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
Hindley Milner Type Inference in Rust
The third iteration of the Lavender programming language, implemented in Rust.
Hindley–Milner type inference implemented in Python.
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
Hindley-Milner type inference in Scheme, for Scheme
Kotlin Hindley-Milner type inference with Arrow
SimpleScript, A Simpler Programming Language (WIP)
Hindley-Milner type inference for Scheme, in Rust