Explore projects

Implementation of the University of Cambridge template, Project Light.

Template for an MCS Linux package

Wifi strength mapping tool

Responsive web templates developed by Head London for the University of Cambridge

latex_value: Store values in latex commands

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

Code from Jack Wickham's Part II project, Evaluating Event-Oriented Databases

A Critique of the CAP Theorem (2015)

Entry for Apache Samza in the Encyclopedia of Big Data Technologies (Springer, 2018)

Extended abstract for MobiUK 2018 (Automerge: Real-time data sync between edge devices)

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

Experimental CRDT implementation and command-line text editor in Ruby

Experimental WebSocket server backed by Kafka

Tests of interleaving inserts in several text editing CRDTs

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

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

WebRTC-based data synchronisation layer for Automerge

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

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