[bunnybender]

I believe Actual Budget, a local-first personal finance app uses them.

https://github.com/actualbudget/actual

The original author has both written about and given presentations about CRDTs.