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
  ☆24Updated 8 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago
• racket / eopl
  ☆39Updated 2 months ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 14 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 15 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆150Updated 5 months ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• irpap / Write-yourself-a-Scheme-in-48-hours
  A Scheme interpreter in Haskell
  ☆9Updated 11 years ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 5 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 4 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated 11 months ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• racket / swindle
  ☆11Updated 2 months ago
• standardml / cmlib
  A basic library of algorithms and data structures (a la NJlib)
  ☆74Updated 3 months ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• viswanathgs / The-Seasoned-Schemer
  Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.
  ☆13Updated 13 years ago
• jluningp / smlformat
  An auto-formatter for the Standard ML language
  ☆22Updated 5 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 4 months ago
• Elderry / TaPL-SML
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Updated 10 years ago
• paulcadman / the-little-typer
  Resources for "The Little Typer" study group
  ☆47Updated 5 years ago
• mflatt / plai-typed
  ☆51Updated 2 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago