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
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated 7 months ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆59Updated 13 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 3 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆35Updated 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
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 9 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 7 months ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆13Updated 12 years ago
• MatthewFluet / company-mlton
  company-mode completion back-end for MLton/Standard ML
  ☆14Updated 4 years ago
• kcrary / cmtool
  Lexer and parser generators for Standard ML, OCaml, and Haskell.
  ☆37Updated 2 years ago
• paulcadman / the-little-typer
  Resources for "The Little Typer" study group
  ☆47Updated 5 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 5 years ago
• racket / parser-tools
  ☆13Updated last month
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆147Updated 2 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆77Updated 2 years ago
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• Elderry / TaPL-SML
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Updated 9 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago