Alternatives and similar repositories for Tigpiler:

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

• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆59Updated 13 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 9 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• Elderry / TaPL-SML
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Updated 9 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆21Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• pinocchio / p
  Pinocchio VM
  ☆20Updated 4 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• nobutaka / nanopass
  Nanopass scheme compiler in scheme for x86
  ☆68Updated 7 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆9Updated 8 years ago
• nathanielherman / sto
  Software Transactional Objects
  ☆20Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆47Updated 10 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 3 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆17Updated 12 years ago
• osa1 / MANTI
  A pure subset of Prolog, implemented in Haskell
  ☆31Updated 11 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• ekmett / scheme-monads
  minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros
  ☆18Updated 11 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 11 years ago
• robsimmons / sml-lib
  Library for Standard ML
  ☆55Updated 12 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 7 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆25Updated 7 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago