Operational-Transformation/ot.v
Formalisation of Operational Transformation in Coq
Discovered public repositories for Operational-Transformation in the GitHub catalog.
Formalisation of Operational Transformation in Coq
Public repository.
Collaborative plain-text editing with Operational Transformations in redis
Public repository.
Public repository.
Public repository.
Real-time collaborative editing with Operational Transformation