Collaborative Editing for your IDE or custom Editor
Open Collaboration Tools is an set of open-source tools, libraries and extensions to allow real-time collaborative editing across devices and tools
It's built to be easily extensible, to enable creating custom clients or modifying the server to suit your specific needs