microvm / microvm-spec
We have moved: https://gitlab.anu.edu.au/mu/mu-spec
☆26Updated 8 years ago
Alternatives and similar repositories for microvm-spec:
Users that are interested in microvm-spec are comparing it to the libraries listed below
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- A proof assistant.☆12Updated 9 years ago
- Accepted papers for POPL 2015☆66Updated 8 years ago
- ☆44Updated 8 years ago
- ☆19Updated 9 years ago
- Bytecode compiler of a variant of Caml☆34Updated 9 years ago
- High-level VM (like LLVM's little brother)☆39Updated 10 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- An AST Library☆48Updated last year
- Lazy functional language compiler targeting LLVM.☆29Updated 13 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- DEPRECATED☆12Updated 9 years ago
- ☆64Updated 8 years ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 10 years ago
- abandoned update of jack crenshaw's compilers intro☆116Updated 6 years ago
- Compiler and tools for the L programming language☆72Updated 11 months ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- A programming language☆77Updated 11 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- ☆33Updated 10 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- A VM-based runtime environment for functional programming languages☆47Updated 8 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- Playing with llvm☆25Updated 7 years ago