GitHub repository: russelldb/op_v_state
Primary language: Erlang
Description: A po-log vs state-based CRDT eqc statem