This is a Markdown editor, which is based on WMD, the editor from the Stack Exchange sites. It uses jQuery and the jQuery Syntax Highlighter by balupton.
You can see a live version of it on my homepage.
Probably quite a few. Report them on github, please.