GitHub repository: opentok/opentok-editor
Description: A real time collaborative editor for OpenTok using CodeMirror and ot.js