ept
Distributed systems + security protocols researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn
University of CambridgeCambridge, UK
Pinned Repositories
automerge-classic
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
avrodoc
Documentation tool for Avro schemas
crdt-website
Source of the crdt.tech website
ddia-references
Literature references for “Designing Data-Intensive Applications”
ddia2-feedback
Reader feedback on the early release of Designing Data-Intensive Applications, second edition
hermitage
What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.
invoicing
Ruby invoicing framework gem
uploadr.py
Command-line Python script to upload photos to Flickr
crdt-isabelle
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
opsets
ept's Repositories
ept/ddia-references
Literature references for “Designing Data-Intensive Applications”
ept/hermitage
What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.
ept/crdt-website
Source of the crdt.tech website
ept/ddia2-feedback
Reader feedback on the early release of Designing Data-Intensive Applications, second edition
ept/uploadr.py
Command-line Python script to upload photos to Flickr
ept/dist-sys
Distributed systems lecture notes
ept/neo4j-scala-template
Template for a new Scala project using the Neo4j graph database and Jersey JSON REST API, including build config and example tests
ept/neo4j-resources
Scala implementation of RESTful JSON HTTP resources on top of the Neo4j graph database and Jersey
ept/byzantine-eventual
Byzantine Eventual Consistency
ept/jxirr
Excel compatible XIRR (Internal Rate of Return) implementation in Java
ept/ConcDistSys-demos
Demo code for Concurrent and Distributed Systems course
ept/spake2-signal
ept/blog
Source of my personal blog, using Markdown, Jekyll and Heroku
ept/pushpin-papoc
PushPin: Towards Production-Quality Peer-to-Peer Collaboration
ept/debs-keynote
Keynote at the 15th ACM International Conference on Distributed and Event-Based Systems (DEBS)
ept/bluesky-paper
Research paper about Bluesky/AT Protocol
ept/selenium-rc
ept/selenium-core
ept/drawing-game
ept/texlive.js
Compiling LaTeX in your browser
ept/undo-redo-replicated-registers
A CRDT MVR that supports Undo and Redo.
ept/core-js
Standard Library
ept/curve25519
Deriving an implementation of Curve25519 from first principles
ept/insert-interleaving
Insertion interleaving test for collaborative text editing algorithms
ept/automerge-repo
ept/checked-automerge
An attempt at model checking Automerge
ept/doctor-cluster-config
NixOS configuration for TUM cluster
ept/git-test
ept/ot-verification
ept/research-work-info
Thesis info