ept
Follow
Distributed systems researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn
-
University of Cambridge
- Cambridge, UK
- https://martin.kleppmann.com/
- https://orcid.org/0000-0001-7252-6958
- https://bsky.app/profile/martin.kleppmann.com
- @[email protected]
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 Loading
-
automerge/automerge-classic
automerge/automerge-classic PublicA JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
-
ddia-references
ddia-references PublicLiterature references for “Designing Data-Intensive Applications”
-
trvedata/crdt-isabelle
trvedata/crdt-isabelle PublicVictor 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…
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.