The Clojure Interactive Development Environment that Rocks for Emacs
- cider
- emacs-lisp
- clojure
- emacs
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
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
Emacs minor mode for live Parenscript interaction
SLIME configuration with some extensions pre-installed.
- lisp
- common-lisp
- slime
- tools
Major mode that provides syntax highlighting and basic completion for TypeQL
- syntax-highlighting
- typedb
- typeql
- emacs