A State-based CRDT library for Convergent data structures