Alternatives and similar repositories for modern-compiler-implementation-ml

Users that are interested in modern-compiler-implementation-ml are comparing it to the libraries listed below

• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆60Updated 14 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆153Updated last month
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆190Updated 9 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆74Updated 7 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 3 years ago
• unnohideyuki / Tiger-in-Haskell
  "Modern compiler implementation" in Haskell!
  ☆28Updated 11 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 3 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆68Updated 2 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆77Updated 13 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆173Updated 5 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• bgamari / b-tree
  Haskell on-disk B* tree implementation
  ☆116Updated 4 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆141Updated 9 years ago
• ZHaskell / z-io
  IO lib for haskell
  ☆99Updated last year
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• themattchan / tiger
  Modern Compiler Implementation in ML
  ☆11Updated 8 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• logicshan / pj-lester-book
  ☆19Updated 11 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆82Updated 4 years ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 3 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆158Updated last year
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 8 years ago