Surprised this article hasn't been shared in these comments yet as a corollary:

https://www.inkandswitch.com/local-first.html#crdts

I regard it as the definitive exploration of local or offline first software. They end up building an offline-first Trello clone which can sync with peers locally or on the internet.