trvedata/trvedb-client

Stars
1
Language
Created over 7 years ago
Updated over 7 years ago

trvedata/trvedb-client

trvedata

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

trvesync

Sandbox for playing around with CRDTs

trvedb

move-op

key-agreement

Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)

opsets

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.