Explore projects

HOL4 formalisation of core microvm

MMTk reading group

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.

Mu backend for PyPy and RPython

Holstein: the Mu reference implementation (the 2nd version).