Explore projects

Tools for using the Charmed redcap database in the department of neuroscience at the University of Cambridge

A highly-available move operation for replicated trees

WebRTC-based data synchronisation layer for Automerge

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

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

Token authenticated Lookup proxy API

Script for hot failover of Xen VMs

Script for building new Xen VMs

A tool for looking up system stats for Win, Mac and Linux machines

Debian package of pgcmp db comparison scripts

The Cambridge text editor

Bootstrapper for MCS Linux systems

Backup system for Linux

Tools for managing ZFSes