replicated-data-types

There are 10 repositories under replicated-data-types topic.

ff-notes/ron
Haskell implementation of RON and RON-RDT
Language:Haskell65 8 1099
concordant/c-crdtlib
The Concordant Conflict-Free Replicated Datatypes (CRDT) library.
Language:Kotlin37 2 04
concordant/c-markdown-editor
A CRDT based collaborative markdown editor.
Language:TypeScript15 0 03
concordant/c-service
A distributed database service for the Concordant platform.
Language:TypeScript13 0 01
concordant/c-client
The Concordant multiplatform library, providing the high-level application-facing API.
Language:Kotlin7 1 21
concordant/mini-app
A mini demonstration applications for the Concordant platform.
Language:TypeScript6 0 00
concordant/c-sudoku
A CRDT based collaborative Sudoku.
Language:TypeScript2 0 00
ff-notes/ron-rdt-spec
RON Replicated Data Types
1 2 01
hengxin/coq-rdt
Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types
Language:Coq3 0
hengxin/paper-replicated-set
Paper on Replicated Set supporting Set Minus
Language:TeX2 0