Ace

Code editor written in JavaScript. Supports tabbing, syntax highlighting, auto-indentation and more. As now used by GitHub.