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
- surgical precision JIT compilers☆122Updated 8 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 2 months ago
- Compiler and tools for the L programming language☆72Updated last year
- Java dialect using S-expressions☆31Updated 7 years ago
- Ye Olde Computer Science Scrolls!☆105Updated 8 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- The Encore compiler.☆44Updated 5 years ago
- High-level VM (like LLVM's little brother)☆39Updated 10 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 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
- Continuation Passing C☆114Updated 6 years ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 11 years ago
- Scheme on SECD☆43Updated 4 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 3 years ago
- Strongtalk VM☆103Updated 3 years ago
- A compiler from ML to C++ template language☆158Updated 10 years ago
- ☆59Updated 7 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- The Slate programming language☆147Updated last year
- ☆65Updated 8 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- ☆54Updated last year
- A proof assistant.☆12Updated 9 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- ☆33Updated 10 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- ☆87Updated 4 years ago
- Bigloo Scheme Compiler☆12Updated 9 years ago
- Pluggable implementation of Immix garbage collector.☆54Updated 7 years ago