Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Jikes RVM (Research Virtual Machine)
-
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
-
my PhD. thesis.
-
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
-
http://windatlas.xyz A website for making 40 years of hourly wind energy data easily available.
-
HOL4 formalisation of core microvm
-
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.
-
Prepared for ENGN8224
-
Extract information about a course from its page on ANU's Programs and Courses website.
-
Work on verifying a concurrent garbage collector
-
my PhD. thesis.
-
-
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.
-
The official mirror of the V8 Git repository
-
MMTk reading group
-
The specification of Mu.
-
-
-
-
american fuzzy lop - a security-oriented fuzzer