The specification of Mu.

Mu backend for PyPy and RPython

Zebu micro VM, a high performance Mu impl.

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 compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).

A Rust Object Dumper and Loader

Extract information about a course from its page on ANU's Programs and Courses website.

An attempt to extract degree rules from Programs and Courses and represent them in a useful fashion.

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.

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

This is a proof-of-concept JavaScript client for Mu to showcase the Mu API for trap, stack introspection and on-stack replacement. It only implements a subset of JavaScript, but still has the dynamism of JavaScript to demonstrate specialisation.