Explore projects

An experiment in sharing video via Google Drive.

Experimental project to play with implementing a UCamWebAuth (aka Raven) server in Django

Templates for GitLab CI.

Experiments in implementing Cambridge WebAuth in Go

DevOps Division Guidebook

Perl module providing dates relating to University if Cambridge terms

OS map sheet locations

Muscat conversion system

Hello world in the rust programming language.

Brave Android Browser

"OpSets: Sequential Specifications for Replicated Datatypes" and "Interleaving anomalies in collaborative text editors"

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

WebRTC-based data synchronisation layer for Automerge

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

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

Tests of interleaving inserts in several text editing CRDTs

Experimental WebSocket server backed by Kafka

Experimental CRDT implementation and command-line text editor in Ruby

From Secure Messaging to Secure Collaboration (Security Protocols Workshop 2018)