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 8 years ago
- High-level VM (like LLVM's little brother)☆39Updated 10 years ago
- A proof assistant.☆12Updated 9 years ago
- SML The Living Language☆11Updated 11 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- ☆19Updated 9 years ago
- A VM-based runtime environment for functional programming languages☆48Updated 8 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Fork of Adobe/Mozilla lightweight library for generating machine code from C++☆35Updated 15 years ago
- JIT compiler of scheme☆15Updated 13 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- MiniJava x86, LLVM Compiler and Interpreter☆73Updated 8 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- abandoned update of jack crenshaw's compilers intro☆116Updated 6 years ago
- ☆33Updated 10 years ago
- some old code about scheme compiler I've ever wrote☆14Updated last week
- Native Code Generator for Ruby compiler☆49Updated 11 years ago
- Jit + Rust + Memory☆19Updated 10 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- An AST Library☆49Updated last year
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 7 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- Formal semantics of LLVM IR in K☆44Updated 10 years ago
- Pluggable implementation of Immix garbage collector.☆52Updated 7 years ago
- ☆53Updated last year