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

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

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)

This is the companion software for the paper "Unveiling the invisible - mathematical methods for restoring and interpreting illuminated manuscripts".

Debian package for reporting Ansible status to Xymon

Chemistry's packaging for pgmodeler

Project to build a k3os Openstack image using Hashicorp packer