Showing entries 1-100 out of 6008.
Project management for Emacs
Emacs major mode for Cedille
The extensible, customizable GNU text editor
Asynchronous Completion Menu
Patch for LSP bridge acm on Terminal
Standalone package providing the agda-input method without building Agda
Agda2-mode for Emacs extracted from Agda package