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