Explore projects

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

The lcc retargetable ANSI C compiler

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

HOL4 formalisation of core microvm

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

Vim Syntax Highlighting for Mu Intermediate Representation (kept updated to the most recent version)

The specification of Mu.

BF compiler targeting Mu VM

Prepared for ENGN8224

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

Work on verifying a concurrent garbage collector

Finding existing mining pits in Australia for potential pumped hydro energy storage (PHES) sites.

Using historical weather forecasts (ERA5 by ECMWF) to generate hourly wind data for renewable resource modelling.

Scripts used in MoonLight project

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.

ANU Haskell Compiler

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