Alternatives and similar repositories for hindley-milner:

Users that are interested in hindley-milner are comparing it to the libraries listed below

• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 11 years ago
• mstarzinger / coolc
  Cool Compiler for MIPS written in Haskell
  ☆16Updated 12 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆303Updated 6 months ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 9 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• racket / eopl
  ☆37Updated 2 months ago
• KamchatkaLtd / okasaki
  Scala implementation of data structures from Chris Okasaki's book
  ☆41Updated 5 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 3 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago
• xye7ei / gllc
  Write your generalized parser combinator in 60 lines and extend it.
  ☆12Updated 3 years ago
• ilya-klyuchnikov / tapl-scala
  Code from the book "Types and Programming Languages" in Scala
  ☆177Updated 3 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• lihaoyi / autojit
  ☆13Updated 5 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 7 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆120Updated 3 months ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• thautwarm / LanguageCollections
  programming languages invented/implemented by myself.
  ☆8Updated last year
• bobzhang / ocaml-book
  a book about ocaml
  ☆185Updated 7 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 10 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 3 years ago
• tiancaiamao / shen-go
  A Go implementation of the Shen programming language
  ☆56Updated 2 years ago
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆18Updated 4 years ago
• armen / dp
  Distributed Programming Abstractions
  ☆16Updated 6 years ago