Codegolf IDE A golfed Web editor dedicated to HTML/JS code-golfing, including codeMirror for better syntax highlight.