ept
Distributed systems 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.
bottledwater-pg
Change data capture from PostgreSQL into Kafka
avrodoc
Documentation tool for Avro schemas
crdt-website
Source of the crdt.tech website
ddia-references
Literature references for “Designing Data-Intensive Applications”
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/avrodoc
Documentation tool for Avro schemas
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/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/selenium-rc
ept/selenium-core
ept/drawing-game
ept/undo-redo-replicated-registers
A CRDT MVR that supports Undo and Redo.
ept/automerge-rs
Rust implementation of automerge
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/texlive.js
Compiling LaTeX in your browser
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/research-work-info
Thesis info
ept/simplemerge
Automerge websocket server and client
ept/swift-experiments
Playing around with Swift and iOS