Pinned Repositories
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.
json-crdt-tpds
LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2017.
key-agreement
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)
move-op
opsets
trvedb
trvedb-client
trvesync
Sandbox for playing around with CRDTs
TRVE DATA's Repositories
trvedata/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.
trvedata/trvesync
Sandbox for playing around with CRDTs
trvedata/trvedb
trvedata/move-op
trvedata/key-agreement
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)
trvedata/opsets
trvedata/json-crdt-tpds
LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2017.
trvedata/trvedb-client