# Reference

0. [Katara: Synthesize CRDTs from classic data types with verified lifting!](https://github.com/hydro-project/katara)
0. [Automerge: A New Foundation for Collaboration Software — Martin Kleppman](https://www.youtube.com/watch?v=UUGdMHrdzIU)
0. [Automerge](https://github.com/automerge/automerge)