Alternatives and similar repositories for tiger:

Users that are interested in tiger are comparing it to the libraries listed below

• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆17Updated 6 months ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 13 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆25Updated 7 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆104Updated 9 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• paulcadman / the-little-typer
  Resources for "The Little Typer" study group
  ☆47Updated 4 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆21Updated 9 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 3 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆146Updated 3 weeks ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated 2 months ago
• racket / eopl
  ☆38Updated 3 months ago
• Elderry / TaPL-SML
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Updated 9 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 6 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆47Updated 10 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• bobzhang / ocaml-book
  a book about ocaml
  ☆186Updated 7 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 12 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 4 years ago
• logicshan / pj-lester-book
  ☆16Updated 10 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 11 years ago