my PhD. thesis.
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
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.
Tutorial of Mu.
Vim Syntax Highlighting for Mu Intermediate Representation (kept updated to the most recent version)
A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).
The specification of Mu.
Pure Haskell binding to Mu
Mu performance measurement framework and benchmarks.
Holstein: the Mu reference implementation (the 2nd version).