GitHub repository: streamich/editing-traces
Primary language: JavaScript
Description: Real world text editing traces for benchmarking CRDT and Rope data structures