Mu backend for PyPy and RPython

The specification of Mu.

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

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.

BF compiler targeting Mu VM

Swap-stack support for native programs. Superseded by libyugong.

On-stack replacement support for native programs.

Let's play Chinese chess, but move quickly!

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

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