Alan Schmitt's starred repositories
twittering-mode
An Emacs major mode for Twitter
gscholar-bibtex
Retrieve BibTeX entries from Google Scholar, ACM Digital Library, IEEE Xplore and DBLP
math-symbol-lists
Lists of Unicode mathematical symbols and latex commands
company-coq
A Coq IDE build on top of Proof General's Coq mode
company-math
Completion back-ends for for math unicode symbols and latex tags
helm-j-cheatsheet
Quick J reference for Emacs
solarized-emacs
The Solarized colour theme, ported to Emacs.
rich-minority
Emacs package for hiding and/or highlighting the list of minor-modes in the mode-line.
smart-mode-line
A powerful and beautiful mode-line for Emacs.
ergoemacs-mode
ergoemacs-mode