Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
HOL4 formalisation of core microvm
-
Tutorial of Mu.
-
MMTk reading group
-
On-stack replacement support for native programs.
-
scalloc written in rust!
-
Small python module and script to scrape survey data back out of SELT/SELS pdfs.
-
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
-
-
Jikes RVM (Research Virtual Machine)
-
Jikes RVM (Research Virtual Machine)
-
-
-
-
-
Holstein: the Mu reference implementation (the 2nd version).
-
Mirror repository of dacapo-dl on GitHub
-
An attempt to extract degree rules from Programs and Courses and represent them in a useful fashion.
-
An attempt to extract degree rules from Programs and Courses and represent them in a useful fashion.
-
Mirror repository of dacapo-dl on GitHub
-
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.