trvedata/trvedb

Stars
25
Rank 931,525 (Top 19 %)
Language
Java
License
Apache License 2.0
Created over 8 years ago
Updated almost 8 years ago

trvedata/trvedb

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

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.

trvedb-client