Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The specification of Mu.
-
Mu backend for PyPy and RPython
-
Zebu micro VM, a high performance Mu impl.
-
A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).
-
Holstein: the Mu reference implementation (the 2nd version).
-
This repo hosts an issue tracker, tracking high-level discussions about the project itself and also technical details not directly associated with any particular implementations.
-
A Rust Object Dumper and Loader
-
An AOT compiler for Mu using LLVM.
-
-
-
Let's play Chinese chess, but move quickly!
-
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
-
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
-
ANU local development repo for DaCapo benchmark suite (https://github.com/dacapobench/dacapobench).
-
An attempt to extract degree rules from Programs and Courses and represent them in a useful fashion.
-
HOL4 formalisation of core microvm
-
Vim Syntax Highlighting for Mu Intermediate Representation (kept updated to the most recent version)
-
RPySOM - The Simple Object Machine Smalltalk implemented in RPython
-
Tutorial of Mu.
-
The lcc retargetable ANSI C compiler