An open-source, real-time, collaborative code and text editing library built on Firebase