a real time online collaborative editor written by python - View it on GitHub