Topic: "causal-consistency"
rocq-community/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Language: Coq - Size: 1.94 MB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 32 - Forks: 7
mistupv/cauder-core
A Causal-Consistent Debugger for (Core) Erlang
Language: Erlang - Size: 1.88 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 3
mistupv/cauder
A Causal-Consistent Reversible Debugger for Erlang
Language: Erlang - Size: 4.57 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 4
nurturenature/jepsen-powersync
Testing PowerSync with Jepsen for Causual Consistency, atomic transactions, and strong convergence.
Language: Dart - Size: 554 KB - Last synced at: about 10 hours ago - Pushed at: about 11 hours ago - Stars: 5 - Forks: 0
dipkakwani/Orion
Causally Consistent Key-Value Store
Language: Java - Size: 34.1 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
dcaup/app
Unified Pipeline with Crossmodal Data and Decentralized Agents for Causal Analysis of Financial Decision-Making Dynamics
Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0
nurturenature/jepsen-causal-consistency
Jepsen Tests for Causal Consistency
Language: Clojure - Size: 1.19 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0
hengxin/cure-kvstore-tla
TLA+ Spec for the Cure Key-Value Store
Language: TeX - Size: 1.86 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
NamanBalaji/keynetic
Keynetic is a sharded, fault-tolerant key-value store that follows causal consistency
Language: Go - Size: 174 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
joaop21/MessagingService 📦
Persistent and Ordered Messaging System
Language: Java - Size: 88.9 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
