GitLab

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