oj.AceEditor

Ace Editor plugin for OJ

ojaceeditor

http://ojjs.org