Alternatives and similar repositories for tiger:

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

• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• glacjay / tiger-c
  Compiler practice written in C.
  ☆35Updated 8 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆55Updated this week
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 3 years ago
• dengwanc / Tiger
  Compiler For Tiger-Lang
  ☆1Updated 6 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 7 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• cmcl / tiger
  a compiler implementation
  ☆56Updated 12 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆25Updated 7 years ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 7 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 10 years ago
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 6 years ago
• lice-lang / lice
  A multi-paradigm programming language running on JVM
  ☆129Updated 6 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 3 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆104Updated 9 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• shibai / Compiler
  repo for cs143 - compiler
  ☆12Updated 11 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• zfy0701 / hindley-milner
  A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala
  ☆17Updated 11 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last week
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆78Updated 9 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 13 years ago
• TiarkRompf / lms-clean
  ☆54Updated last year
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 9 years ago
• MarisaKirisame / first_order_logic_prover
  ☆58Updated 6 years ago