01Advanced Play/Coplay semantics for verified state transfer and acknowledgment
02Mathematically verified properties including Idempotence, Commutativity, and Associativity
03Character-based Text CRDT for real-time collaborative document editing
04Bidirectional lens optics integration for compositional game theory workflows
057 GitHub stars
06Supports core CRDT types: LWW Register, G-Counter, PN-Counter, and OR-Set