Explore projects
-
Obsolete Perl-based version of lookup
Updated -
Bootstrapper for MCS Linux systems
Updated -
S. Parisotto / Manuscripts-restoration
BSD 3-Clause "New" or "Revised" LicenseThis is the companion software for the paper "Unveiling the invisible - mathematical methods for restoring and interpreting illuminated manuscripts".
Updated -
Training materials for the Research Computing Cloud Infrastructure as a Service course, for the Packer image generation section.
Updated -
Computer Lab / Digital Technology Group / TRVE Data / crdt-isabelle
Apache License 2.0Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)
Updated -
WebRTC-based data synchronisation layer for Automerge
Updated -
Scott Polar Research Institute / muscat-conversion
GNU General Public License v2.0 or laterMuscat conversion system
Updated -
Experimental project to play with implementing a UCamWebAuth (aka Raven) server in Django
Updated -
Dr Rich Wareham / Drive Video Sharing
MIT LicenseAn experiment in sharing video via Google Drive.
Updated