Showing entries 1-100 out of 5712.
Project management for Emacs
Emacs major mode for Cedille
The extensible, customizable GNU text editor
Standalone package providing the agda-input method without building Agda
Agda2-mode for Emacs extracted from Agda package