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
  ☆60Updated 14 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆168Updated last month
• bobzhang / ocaml-book
  a book about ocaml
  ☆188Updated 8 years ago
• mflatt / gc-demo
  ☆87Updated 5 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆153Updated last month
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆23Updated 8 years ago
• ParkerK / Tigpiler
  A simple Tiger to MIPS compiler, written in Standard-ML
  ☆23Updated 12 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 5 years ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 3 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆47Updated 10 years ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆159Updated this week
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆77Updated 13 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆296Updated last week
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆256Updated 15 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆208Updated last year
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆233Updated last week
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 10 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆150Updated 4 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 years ago
• discus-lang / iron
  Coq formalizations of functional languages.
  ☆145Updated 5 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• akeep / nanopass-framework
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆324Updated 4 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆175Updated 4 years ago