Richtextbox library

Question

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?

Answer 1

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

Answer 2

Its a WYSIWYM editor. See WMD editor

See a demo here.