microvm / microvm-spec
We have moved: https://gitlab.anu.edu.au/mu/mu-spec
☆26Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for microvm-spec
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Bytecode compiler of a variant of Caml☆32Updated 9 years ago
- ☆33Updated 9 years ago
- ☆19Updated 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
- surgical precision JIT compilers☆120Updated 7 years ago
- Compile-time metaprogramming for OCaml☆71Updated 3 months ago
- The language of the future!☆72Updated 10 months ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 12 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- SML The Living Language☆11Updated 10 years ago
- Let's (possibly) build a JIT!☆29Updated 11 months ago
- High-level VM (like LLVM's little brother)☆38Updated 9 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- The LVish Haskell library☆81Updated 2 years ago
- A small implementation of type inference☆78Updated 9 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- OCaml bytecode to C compiler☆98Updated 4 years ago
- ☆85Updated 3 years ago
- My Own Linear Lisp☆37Updated 6 years ago