Explore projects

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

The prehistoric MicroVM (wasn't called Mu) prototype version 2, written in Python 3, with a Lua (subset) client and a non-SSA-to-SSA converter.

The prehistoric MicroVM (wasn't called Mu) prototype version 1, written in Python 2, with a Lua (subset) client.

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

On-stack replacement support for native programs.

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

Haskell bindings for Mu (impure version)

Pure Haskell binding to Mu

ANU Haskell Compiler

Mirror repository of dacapo-dl on GitHub

ANU local development repo for DaCapo benchmark suite (https://github.com/dacapobench/dacapobench).

Zebu micro VM, a high performance Mu impl.

Mirror repository of dacapo-dl on GitHub

Prepared for ENGN8224