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 75 7

  2. move-op move-op Public

    TeX 32 1

  3. trvesync trvesync Public

    Sandbox for playing around with CRDTs

    JavaScript 31 1

  4. trvedb trvedb Public

    Java 26 5

  5. key-agreement key-agreement Public

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

    Java 23 3

  6. opsets opsets Public

    Isabelle 14 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.

    trvedata/crdt-isabelle’s past year of commit activity
    TeX 75 Apache-2.0 7 0 0 Updated Dec 18, 2022
  • move-op Public
    trvedata/move-op’s past year of commit activity
    TeX 32 1 0 0 Updated Oct 18, 2021
  • key-agreement Public

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

    trvedata/key-agreement’s past year of commit activity
    Java 23 MIT 3 0 0 Updated May 19, 2021
  • opsets Public
    trvedata/opsets’s past year of commit activity
    Isabelle 14 1 0 0 Updated Apr 3, 2019
  • trvesync Public

    Sandbox for playing around with CRDTs

    trvedata/trvesync’s past year of commit activity
    JavaScript 31 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.

    trvedata/json-crdt-tpds’s past year of commit activity
    TeX 12 2 0 0 Updated Aug 15, 2017
  • trvedb-client Public
    trvedata/trvedb-client’s past year of commit activity
    2 1 0 0 Updated May 4, 2017
  • trvedb Public
    trvedata/trvedb’s past year of commit activity
    Java 26 Apache-2.0 5 0 0 Updated Jul 7, 2016

Most used topics

Loading…