Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: replicated-data-types
ff-notes/ron
Haskell implementation of RON and RON-RDT
Language: Haskell - Size: 1.75 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 65 - Forks: 9
hengxin/coq-rdt
Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types
Language: Coq - Size: 65.4 KB - Last synced: 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
concordant/c-crdtlib
The Concordant Conflict-Free Replicated Datatypes (CRDT) library.
Language: Kotlin - Size: 1.32 MB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 30 - Forks: 4
concordant/c-sudoku
A CRDT based collaborative Sudoku.
Language: TypeScript - Size: 1.67 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0
concordant/c-client
The Concordant multiplatform library, providing the high-level application-facing API.
Language: Kotlin - Size: 9.01 MB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 6 - Forks: 1
ff-notes/ron-rdt-spec
RON Replicated Data Types
Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1
hengxin/paper-replicated-set
Paper on Replicated Set supporting Set Minus
Language: TeX - Size: 1.52 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0