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
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• zhouye / tiger-compiler
  A tiger compiler using FLEX, BISON and LLVM
  ☆11Updated 11 years ago
• dengwanc / Tiger
  Compiler For Tiger-Lang
  ☆2Updated 6 years ago
• cmcl / tiger
  a compiler implementation
  ☆56Updated 12 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated last week
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 3 years ago
• decaf-lang / decaf
  The new Decaf compiler, rewritten in "modern" Java
  ☆64Updated 4 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 6 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated 2 years ago
• MarisaKirisame / extensible-parser
  ☆11Updated 2 months ago
• codewdy / mymymysql
  A simple SQL Server...
  ☆16Updated 10 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 8 years ago
• Menooker / Birdee
  A distributed programming language/framework powered by LLVM
  ☆8Updated 8 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• TennyZhuang / HaScheme
  HaScheme is a Scheme interpreter written by Haskell.
  ☆11Updated 8 years ago
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 7 years ago
• h8liu / nachos
  CSE120 Project
  ☆10Updated 10 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 6 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆35Updated 3 weeks ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆79Updated 10 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• tsreaper / my-pascal-compiler
  A simple compiler for My Pascal, with LLVM as its backend.
  ☆15Updated 5 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 14 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago