Popular repositories Loading

1. crdt-isabelle 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

2. move-op move-op Public

   TeX 31 1

3. trvesync trvesync Public

   Sandbox for playing around with CRDTs

   JavaScript 30 1

4. trvedb trvedb Public

   Java 25 5

5. key-agreement key-agreement Public

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

   Java 21 3

6. opsets opsets Public

   Isabelle 13 1