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 an…

  TeX

  •

  Apache License 2.0

  •88 forks•7575 stars•00 issues•00 pull requests•Updated Dec 18, 2022Dec 18, 2022

• move-op

  Public
  TeX

  •

  Other

  •11 fork•3232 stars•00 issues•00 pull requests•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

  •33 forks•2424 stars•00 issues•00 pull requests•Updated May 19, 2021May 19, 2021

• opsets

  Public
  Isabelle

  •11 fork•1414 stars•00 issues•00 pull requests•Updated Apr 3, 2019Apr 3, 2019

• trvesync

  Public
  Sandbox for playing around with CRDTs

  JavaScript

  •

  Apache License 2.0

  •11 fork•3131 stars•00 issues•00 pull requests•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 Distribut…

  TeX

  •22 forks•1212 stars•00 issues•00 pull requests•Updated Aug 15, 2017Aug 15, 2017

• trvedb-client

  Public
  11 fork•22 stars•00 issues•00 pull requests•Updated May 4, 2017May 4, 2017

• trvedb

  Public
  Java

  •

  Apache License 2.0

  •55 forks•2626 stars•00 issues•00 pull requests•Updated Jul 7, 2016Jul 7, 2016