causal-consistency

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.

Causal execution engine for Go — eliminate Heisenbugs by turning non-determinism into a controllable resource

Causally Consistent Key-Value Store

Pipeline Unificado para Tomada de Decisão Financeira com Agentes Multimodais e Descentralizados

Jepsen Tests for Causal Consistency

Keynetic is a sharded, fault-tolerant key-value store that follows causal consistency

TLA+ Spec for the Cure Key-Value Store

AXIOM Mesh 0.12.0-dev.3: local-first, fail-closed coordination substrate for human and machine principals, with policy-bound execution, cryptographic evidence, constrained-machine discovery and receipts, and governed runtime boundaries. No live deployment or production promotion claimed.

Causally-consistent execution substrate for autonomous agent systems — durable, auditable, portable. Built in Rust.

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

Deterministic conformance receipts and bounded witnesses for causal and session guarantees in multi-region traces.

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.

Implementation of Eventual vs. Causal Consistency in a distributed micro-blogging system using Vector Clocks and buffering strategies.