Tom Wallis's repositories
glasgow.coffee
A blog about coffee in Glasgow.
bpi_13_python
Python model of the BPI13 workflow
bpi_experiments
Experiments with the BPI-13 model
cheri-examples
Fork of CapableVMs' sample cheri programs
cheribsd-ports
FreeBSD ports tree adapted for CheriBSD.
chromium
My CHERI-focused fork of chromium
coffeeblog
A golang server for glasgow.coffee.
forbiddenfruit
Patch built-in python objects
holistic_memoir
A site collecting a holistic memoir of the PhD process.
learning-git
A repo for teaching how git works.
plcscan
Automatically exported from code.google.com/p/plcscan
research-playground
A place for research-related snippets
teaching_marta
A repo for teaching Marta about using git
thesis_template
A template for writing well-managed PhD theses, for Glasgow University Computing Science.
world3-covid
An aspect-oriented modification to pyworld3 which adds impacts of major events like covid-19 or the 2008 financial crash.