Explore projects

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).

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

Prepared for ENGN8224

Work on verifying a concurrent garbage collector

This repository contains various pre-prints, technical reports and other documents from Thomas Haines

A Rust Object Dumper and Loader

repository number 1: LiloTane by Dominik Schreiber

repository number 2: SIADEX by Juan Fernandez-Olivares and Ignacio Vellido Exposito

repository 3