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
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- the Scala delimited continuations plugin and library☆89Updated 4 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 10 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Fast Parser Combinators☆27Updated 10 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- DEPRECATED☆12Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 months ago
- A library for composable fine-grained concurrency.☆53Updated 12 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- a capability-based system☆40Updated 6 years ago
- A fork of asm.ow2.org for the Scala compiler☆8Updated 7 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Meerkat parsers☆24Updated 7 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- A proof assistant.☆12Updated 9 years ago
- ☆57Updated 7 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- Left-leaning red-black trees☆48Updated 12 years ago
- JVM code generation☆32Updated 6 years ago