microvm / microvm-specLinks
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
Sorting:
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- A proof assistant.☆12Updated 9 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- An AST Library☆49Updated last year
- SML The Living Language☆11Updated 11 years ago
- ☆44Updated 8 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- ☆73Updated 11 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- Lazy functional language compiler targeting LLVM.☆29Updated 13 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- Pluggable implementation of Immix garbage collector.☆52Updated 7 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- A small implementation of type inference☆78Updated 10 years ago
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- ☆33Updated 10 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- A function-oriented language with effect inference☆18Updated 11 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Epic - a Supercombinator Compiler☆65Updated 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…☆31Updated 9 years ago
- A programming language☆77Updated 12 years ago
- ☆19Updated 9 years ago
- Scheme on SECD☆42Updated 4 years ago
- Compile-time metaprogramming for OCaml☆73Updated 10 months ago