automerge

A JSON-like data structure that can be modified concurrently by different users, and merged again automatically.