# Reference

0. [CRDT: Fractional Indexing](https://madebyevan.com/algos/crdt-fractional-indexing/)
0. [CRDT: Mutable Tree Hierarchy](https://madebyevan.com/algos/crdt-mutable-tree-hierarchy/)
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)