Repositories list

• 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

  •

  Apache License 2.0

  •8•72•0•0•Updated Dec 18, 2022Dec 18, 2022

• move-op

  Public
  TeX

  •

  Other

  •1•27•0•0•Updated Oct 18, 2021Oct 18, 2021

• key-agreement

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

  Java

  •

  MIT License

  •3•18•0•0•Updated May 19, 2021May 19, 2021

• opsets

  Public
  Isabelle

  •1•12•0•0•Updated Apr 3, 2019Apr 3, 2019

• trvesync

  Public
  Sandbox for playing around with CRDTs

  JavaScript

  •

  Apache License 2.0

  •1•30•0•0•Updated Sep 6, 2017Sep 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

  •2•11•0•0•Updated Aug 15, 2017Aug 15, 2017

• trvedb-client

  Public
  1•1•0•0•Updated May 4, 2017May 4, 2017

• trvedb

  Public
  Java

  •

  Apache License 2.0

  •4•25•0•0•Updated Jul 7, 2016Jul 7, 2016