Real-time collaborative editing for graphs. - View it on GitHub