A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Repository Index
61,121 visible repositories in the index
1–9 of 9 · Most stars
An Emacs framework for the stubborn martian hacker
- emacs
- vim
- emacs-lisp
- emacs-configuration
The extensible vi layer for Emacs.
The Clojure Interactive Development Environment that Rocks for Emacs
- cider
- emacs-lisp
- clojure
- emacs
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
Neovim colorscheme with terminal-wide contrib themes
- lua
- neovim
- neovim-colorscheme
- bat-theme
A mode to facilitate interactive data visualization using Vega from within emacs
Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
Major mode that provides syntax highlighting and basic completion for TypeQL
- syntax-highlighting
- typedb
- typeql
- emacs