A C/C++ minor mode for Emacs powered by libclang
- irony-mode
- clang
- libclang
- emacs
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
Emacs mode for LESS CSS (lesscss.org), with support for compile-on-save
Major mode that provides syntax highlighting and basic completion for TypeQL
- syntax-highlighting
- typedb
- typeql
- emacs