Conflict-free (or Convergent, or Commutative, or Confluent) Replicated Data Structures (CRDTs) are distributed data structures based on monotonic join semilattices and commutative updates that are guaranteed to provide strong eventual consistency. There are a lot of papers formalizing and explaining CRDTs. This repository contains code to visualize them.
- Counters
- Registers
- TODO
- Sets
opam install core ocamlgraph
./build.sh
./main.byte