Richtextbox library

I would like to use a JavaScript richtextbox library in开发者_开发问答 my application. What library does Stack Overflow use, and is it available for me to use?

---

Its a WYSIWYM editor. See WMD editor

See a demo here.

---

SO uses WMD: http://github.com/derobins/wmd