The specification of Mu.

Mu backend for PyPy and RPython

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.

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).

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

Let's play Chinese chess, but move quickly!

A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.

Moonshine is the fuzzing corpus distillation project.

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.