microvm / microvm-refimpl2
We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
☆26Updated 8 years ago
Alternatives and similar repositories for microvm-refimpl2:
Users that are interested in microvm-refimpl2 are comparing it to the libraries listed below
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- surgical precision JIT compilers☆121Updated 7 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A proof assistant.☆12Updated 9 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Codes related to Idris☆15Updated 9 years ago
- Fast Parser Combinators☆27Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- A small implementation of type inference☆78Updated 9 years ago
- A library for composable fine-grained concurrency.☆53Updated 12 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- The language of the future!☆72Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Memory Management ToolKit☆33Updated last month
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- Object Algebra Composition☆24Updated 11 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- LVC verified compiler☆57Updated 6 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago