Local-first Software

"Conflict-free Replicated Data Types" as a solution to local-first collaboration apps

In theory

In practice