trvedata/opsets

Stars
12
Rank 1,555,710 (Top 32 %)
Language Isabelle
Created over 6 years ago
Updated about 5 years ago

trvedata/opsets

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)

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