package-set

emacsPackages

Showing entries 1-100 out of 5559.

Like caps-lock, but for your control key
The extensible, customizable GNU text editor
Standalone package providing the agda-input method without building Agda
Agda2-mode for Emacs extracted from Agda package