Pinned Loading

1. automerge/automerge-classic automerge/automerge-classic Public

   A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

   JavaScript 14.7k 463

2. hermitage hermitage Public

   What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

   2.6k 190

3. ddia-references ddia-references Public

   Literature references for “Designing Data-Intensive Applications”

   6.5k 835

4. trvedata/crdt-isabelle 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…

   TeX 73 7

5. trvedata/opsets trvedata/opsets Public

   Isabelle 13 1