collaborative-text-editing-algorithms A project surveying properties of collaborative text-editing algorithms.