Skip to content
@trvedata

TRVE DATA

Placing a bit less trust in the cloud

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 72 8

  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

Repositories

Showing 8 of 8 repositories
  • 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 Programming Languages (PACMPL), 2017.

    TeX 72 Apache-2.0 8 0 0 Updated Dec 18, 2022
  • move-op Public
    TeX 31 1 0 0 Updated Oct 18, 2021
  • key-agreement Public

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

    Java 21 MIT 3 0 0 Updated May 19, 2021
  • opsets Public
    Isabelle 13 1 0 0 Updated Apr 3, 2019
  • trvesync Public

    Sandbox for playing around with CRDTs

    JavaScript 30 Apache-2.0 1 0 0 Updated Sep 6, 2017
  • json-crdt-tpds Public

    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.

    TeX 11 2 0 0 Updated Aug 15, 2017
  • trvedb-client Public
    1 1 0 0 Updated May 4, 2017
  • trvedb Public
    Java 25 Apache-2.0 5 0 0 Updated Jul 7, 2016

Top languages

Loading…

Most used topics

Loading…