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
  ☆58Updated 14 years ago
• 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
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• racket / eopl
  ☆39Updated 3 months ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• rocq-archive / group-theory
  Elements of Group Theory
  ☆16Updated 4 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆150Updated 3 weeks ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 15 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆190Updated 9 years ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated 2 years ago
• racket / htdp
  ☆106Updated 2 weeks ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 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
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆31Updated 2 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 9 years ago
• yjqww6 / macrology
  ☆40Updated 3 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆77Updated 5 years ago
• racket / swindle
  ☆11Updated 3 months ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆59Updated 3 years ago
• yjqww6 / drracket-paredit
  Some useful shortcuts for DrRacket
  ☆82Updated 4 years ago
• Elderry / TaPL-SML
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Updated 10 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
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago