Popular repositories

1. use-package

   A use-package declaration for simplifying your .emacs

   Emacs Lisp 3.4k 213

2. git-scripts

   A bunch of random scripts I've either written, downloaded or clipped from #git.

   Shell 1.2k 215

3. emacs-async

   Simple library for asynchronous processing in Emacs

   Emacs Lisp 574 59

4. category-theory

   An axiom-free formalization of category theory in Coq for personal study and practical work

   Coq 558 48

5. dot-emacs

   My .emacs.el file and other personal Emacs goodies

   Emacs Lisp 524 94

6. git-from-the-bottom-up

   An introduction to the architecture and design of the Git content manager

   445 77