An Emacs configuration bundle with batteries included

A template system for Emacs

On the fly syntax checking for GNU Emacs

Fast and robust Emacs setup.

Multiple cursors for emacs.

Emacs package that displays available keybindings in popup

Project management tool for Emacs

This repo is the new home of Proof General

Vim matchit ported into Emacs

GNU GLOBAL helm interface

Emacs: Numbered window shortcuts

A static site generator based on org-mode

Tools for interacting with Boogie

Most of my system configuration files.

My RC Files, sprinter configuration, etc.