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
- A proof assistant.☆12Updated 9 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- ☆19Updated 9 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- High-level VM (like LLVM's little brother)☆39Updated 10 years ago
- Bytecode compiler of a variant of Caml☆33Updated 9 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- ☆58Updated 7 years ago
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- SML The Living Language☆11Updated 11 years ago
- An AST Library☆49Updated last year
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Implementation of LLVM compiler plugin for garbage collection☆21Updated 10 years ago
- Scheme on SECD☆41Updated 4 years ago
- ☆33Updated 10 years ago
- ☆73Updated 11 years ago
- Meld virtual machine.☆29Updated 9 years ago
- A VM-based runtime environment for functional programming languages☆47Updated 8 years ago
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆76Updated 12 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- The language of the future!☆72Updated last year
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- JIT compiler of scheme☆15Updated 13 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago