Explore projects

code for Episode Adaptive Embedding Networks for Few-shot Learning

Tutorial of Mu.

Scripts for collecting geographical data on mining areas around the world. Plus methods for identifying mining pits that could be used for pumped hydro energy storage.

Scripts for collecting geographical data on reservoirs and lakes around the world. Plus methods for estimating usable volume, to in order to identify potential reservoirs for pumped hydro energy storage.

ANU Haskell Compiler

Prepared for ENGN8224

Database backup for the windatlas.xyz website

Work on verifying a concurrent garbage collector

Extract information about a course from its page on ANU's Programs and Courses website.

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

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.

HOL4 formalisation of core microvm

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

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