code editor built into wordpress

anyone know what they use for the editor in wordpress? the one that color codes your code and numbers it for you? is it open source maybe?