Alternatives and similar repositories for tiger:

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

• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆25Updated 8 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆59Updated 14 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated 8 months ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• racket / eopl
  ☆39Updated last month
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 3 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆104Updated 9 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 12 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 8 years ago
• irpap / Write-yourself-a-Scheme-in-48-hours
  A Scheme interpreter in Haskell
  ☆9Updated 10 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 8 months ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 2 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆15Updated 12 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• jackfirth / point-free
  Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style
  ☆24Updated 7 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆58Updated 3 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• seckcoder / course-compiler
  Reference implementation for the Essentials of Compilation course
  ☆17Updated 8 years ago
• jordanly / SML-Tiger-Compiler
  A Tiger compiler written in SML.
  ☆12Updated 9 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆59Updated 4 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago