microvm / microvm-specLinks
We have moved: https://gitlab.anu.edu.au/mu/mu-spec
☆26Updated 9 years ago
Alternatives and similar repositories for microvm-spec
Users that are interested in microvm-spec are comparing it to the libraries listed below
Sorting:
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Ye Olde Computer Science Scrolls!☆104Updated 8 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- Pluggable implementation of Immix garbage collector.☆53Updated 7 years ago
- DEPRECATED☆12Updated 9 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- ☆59Updated 7 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 2 months ago
- High-level VM (like LLVM's little brother)☆39Updated 10 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- ☆19Updated 9 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 3 weeks ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Compiler and tools for the L programming language☆72Updated last year
- Experiments about intermediate representations in compilers☆25Updated 13 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- some old code about scheme compiler I've ever wrote☆14Updated 2 months ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- ☆65Updated 8 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 3 years ago
- Simple C++ Parser Combinator Library☆15Updated 9 years ago
- Scheme on SECD☆43Updated 4 years ago
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 11 years ago
- ☆33Updated 10 years ago
- ☆87Updated 4 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago