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

Zebu micro VM, a high performance Mu impl.

Zebu micro VM, a high performance Mu impl.

HOL4 formalisation of core microvm

Mu backend for PyPy and RPython

Mu backend for PyPy and RPython

ANU Haskell Compiler

BF compiler targeting Mu VM

An AOT compiler for Mu using LLVM.

Haskell bindings for Mu (impure version)

Scripts used in MoonLight project

The MoonLight fuzzing corpus distillation tool

MoonBeam converts AFL tuples (i.e., coverage information) into bitvectors usable by MoonLight

MMTk reading group

Prepared for ENGN8224

On-stack replacement support for native programs.

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

LaTeX templates for:

presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)

Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.