The specification of Mu.

Zebu micro VM, a high performance Mu impl.

Mu backend for PyPy and RPython

A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).

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.

Holstein: the Mu reference implementation (the 2nd version).

A Rust Object Dumper and Loader

An AOT compiler for Mu using LLVM.

Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.

ANU Haskell Compiler

Pure Haskell binding to Mu

Haskell bindings for Mu (impure version)

scalloc written in rust!

BF compiler targeting Mu VM