Comment by c0da

It's almost pure front-end using Firebase + Firepad (https://firepad.io/). The editor uses CodeMirror (http://codemirror.net/) and custom highlighting rules. The backend (what little of it exists) is in Flask :)