The Lux Programming Language
- language
- programming-language
- macros
- functional-programming
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
🌻 An Emacs major mode for the V programming language.
- v
- vlang
- emacs-mode
SLIME configuration with some extensions pre-installed.
- lisp
- common-lisp
- slime
- tools
Search, browse and load Quicklisp systems from Emacs.
- quicklisp
- emacs
- slime
- common-lisp
Documentation contribs for SLIME (the Superior Lisp Interaction Mode for Emacs)
Emacs major mode for the V programming language
SLIME extension for Lisp Critic
- common-lisp
- lisp
- tools