Antidote: CRDT-based distributed database (syncfree.github.io)