CRDT Lab Implementation