A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
A Causal-Consistent Reversible Debugger for Erlang
A Causal-Consistent Debugger for (Core) Erlang
Testing PowerSync with Jepsen for Causual Consistency, Atomic transactions, and Strong Convergence.
Pipeline Unificado para Tomada de Decisão Financeira com Agentes Multimodais e Descentralizados
TLA+ Spec for the Cure Key-Value Store
Keynetic is a sharded, fault-tolerant key-value store that follows causal consistency
Jepsen Tests for Causal Consistency
An implementation of causal consistency distributed system.
Decentralized chat service written in Java, Erlang, ZeroMQ and ReactiveX featuring causal consistency, CRDTs, gossip and a DHT
Persistent and Ordered Messaging System
An AI system to automatically assess GDPR compliance in privacy policies. This project is a LightRAG implementation featuring a CaCoCot (Causal Consistency Chain of thought) Structure to deliver explainable summaries and automated risk detection.
Add a description, image, and links to the causal-consistency topic page so that developers can more easily learn about it.
To associate your repository with the causal-consistency topic, visit your repo's landing page and select "manage topics."