Change to and from any LaTeX environment, including display math—with label support! // GitHub mirror
GPL-3.0 License
Statistics for this project are still being loaded, please check back later.
A Coq IDE build on top of Proof General's Coq mode
A Matrix client for GNU Emacs
My Emacs configuration
A dark and sleek Emacs setup for general purpose editing and programming
Moderately personalized Emacs config
My Clojure, Python, JavaScript & TypeScript friendly Emacs config.
A fancy and fast mode-line inspired by minimalism design.
Vanilla, Evil, literate Emacs configuration
My Emacs configurations.
An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs p...
Emacs package to redefine M-< and M-> for some modes
This library adds LatexMk support to AUCTeX.
A powerful and beautiful mode-line for Emacs.
Minimal ~/.emacs.d - Better Vanilla Emacs Defaults and Optimized Startup
A use-package declaration for simplifying your .emacs