LaTeX Templates for Document
LPPL-1.3C License
Emacs Plus formulae for the Homebrew package manager
translate emacs documents to Chinese for convenient reference
A Coq IDE build on top of Proof General's Coq mode
A small, configurable console text editor (mirrored from https://gitlab.com/craigbarnes/dte)
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *an...
A very minimal but elegant emacs (I think)
Yet another LaTeX filter
A community driven list of useful Emacs packages, libraries and other items.
Context sensitive completion for OCaml in Vim and Emacs
Emacs client/library for the Language Server Protocol
Emacs minor mode to automatically balance window margins
A new, scalable source document for the Paredit Cheatsheet available as a png on the Emacs wiki
This library adds LatexMk support to AUCTeX.
Load Clojure/ClojureScript code blocks from Org files
An Emacs framework for the stubborn martian hacker