These are fascinating, I built a toy replicated K/V in go using CRDTs:

https://github.com/lonelycode/yzma