Alternatives and similar repositories for tiger:

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

• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆59Updated 14 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆25Updated 8 years ago
• ParkerK / Tigpiler
  A simple Tiger to MIPS compiler, written in Standard-ML
  ☆23Updated 11 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 9 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆162Updated 4 months ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• bobzhang / ocaml-book
  a book about ocaml
  ☆186Updated 7 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• standardml / cmlib
  A basic library of algorithms and data structures (a la NJlib)
  ☆74Updated 2 weeks ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 2 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆72Updated 4 years ago
• mflatt / gc-demo
  ☆85Updated 4 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆78Updated 9 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• racket / eopl
  ☆39Updated last month
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆146Updated 3 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆148Updated 3 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• seckcoder / course-compiler
  Reference implementation for the Essentials of Compilation course
  ☆17Updated 8 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆38Updated 10 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 4 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆72Updated 6 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆130Updated 4 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• Elderry / TaPL-SML
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Updated 9 years ago