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