Мы проверили сайт codemirror.net - и он доступен и работает сейчас!
Ответ на вопрос - работает ли codemirror - да! Сайт работает и онлайн!
Если у Вас проблемы с доступом к сайту codemirror и codemirror.net не открывается, и вы думаете что с сайтом codemirror
- почему он не доступен - то попробуйте:
Отчистить кеш браузера (Chrome, Firefox or Safari)
и перезапустите бразуер