Alternatives and similar repositories for hindley-milner

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

• mstarzinger / coolc
  Cool Compiler for MIPS written in Haskell
  ☆16Updated 12 years ago
• 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…
  ☆41Updated 6 years ago
• xye7ei / gllc
  Write your generalized parser combinator in 60 lines and extend it.
  ☆12Updated 4 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆220Updated 8 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆309Updated last year
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• droundy / go-compiler
  a toy go compiler written in go
  ☆22Updated 14 years ago
• aalhour / PyCOOLC
  Compiler for the COOL programming language in Python 3
  ☆39Updated 6 years ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 5 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆57Updated last week
• cliffclick / aa
  Cliff Click Language Hacking
  ☆287Updated last year
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆31Updated 11 years ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 12 years ago
• racket / eopl
  ☆39Updated 2 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• reborg / jscheme
  Jscheme (Scheme (in Java (by Peter Norvig)))
  ☆52Updated 7 years ago
• evansneath / compiler
  A single-pass, recursive decent LL(1) compiler written by hand for a made-up language.
  ☆86Updated 7 years ago
• jordanly / SML-Tiger-Compiler
  A Tiger compiler written in SML.
  ☆13Updated 10 years ago
• lice-lang / lice
  A multi-paradigm programming language running on JVM
  ☆129Updated 7 years ago
• eliben / bobscheme
  An implementation of Scheme in Python and C++
  ☆175Updated 2 weeks ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆170Updated 5 years ago
• mpu / gthreads
  Toy Green Threads for C.
  ☆206Updated 8 years ago
• oriontransfer / PL0-Language-Tools
  An implementation of PL/0 including a tree-based interpreter and virtual machine.
  ☆77Updated last year
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆59Updated 14 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆168Updated last month
• thautwarm / reley
  haskell-like compiled language based on Python VM
  ☆10Updated 7 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆74Updated 5 years ago
• akeep / nanopass-framework
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆323Updated 4 years ago