Explore projects

safely store server secrets

clean, blank latex template with inputenc, geometry, bable, hyperref, microtype, etc. (probably use always) pdf

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)

Training materials for the Research Computing Cloud Infrastructure as a Service course, for the Packer image generation section.

Docker images for Object Oriented Programming course assessment in pottery

The Galicaster Project is an open initiative to provide flexible, state-of-the-art solutions for recording educational multimedia contents like lectures and conferences

GUI tool for exploring zfs-rsnap backups on workstations

Wifi strength mapping tool

Makefile for building a deb from e.g. one of these git repos

Script for hot failover of Xen VMs

Script for building new Xen VMs

Syncs Chem-members lookup group with active members in Chemistry database

Debian package of pgcmp db comparison scripts

The Cambridge text editor

Tools for managing ZFSes

Linter for ansible

Clone all repos under a gitlab group (e.g. for local backup purposes)

deb package of pip python-gitlab library (NB which is a totally different project to the Ubuntu python-gitlab package)