Distributed systems researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn
-
University of Cambridge
- Cambridge, UK
- http://martin.kleppmann.com
Highlights
- Pro
Block or Report
Block or report ept
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
automerge/automerge Public
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
-
-
-
trvedata/crdt-isabelle Public
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 Programmi…
-
18,704 contributions in the last year
Less
More


