Sarcasm /irony-modeEmacs Lisp90794A C/C++ minor mode for Emacs powered by libclangirony-modeclanglibclangemacs
cpitclaudel /company-coqEmacs Lisp36132A Coq IDE build on top of Proof General's Coq modeproof-generalcoqintegrated-development-environmentcompany-mode
purcell /less-css-modeEmacs Lisp10013Emacs mode for LESS CSS (lesscss.org), with support for compile-on-save