Popular repositoriesLoading

1. use-packageuse-packagePublic

   A use-package declaration for simplifying your .emacs

   Emacs Lisp 4.4k 259

2. git-scriptsgit-scriptsPublic

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

   Shell 1.4k 240

3. emacs-asyncemacs-asyncPublic

   Simple library for asynchronous processing in Emacs

   Emacs Lisp 847 68

4. git-from-the-bottom-upgit-from-the-bottom-upPublic

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

   843 109

5. category-theorycategory-theoryPublic

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

   Coq 766 72

6. dot-emacsdot-emacsPublic

   My .emacs.el file and other personal Emacs goodies

   Emacs Lisp 703 94