Explore projects

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.

RPySOM - The Simple Object Machine Smalltalk implemented in RPython

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

HOL4 formalisation of core microvm

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

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

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

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

BF compiler targeting Mu VM

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.

The lcc retargetable ANSI C compiler

Tutorial of Mu.

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

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.

On-stack replacement support for native programs.