A command line twitter client written in python using the python-twitter API
Emacs' compilation-mode enhancement for repeatable recompilations.
Django application to use the functionality of ReSTinPeace
Djournal is a blog application for Django.
A BibTeX database manager for Emacs.
My Very Own ~/etc
Modern on the fly syntax checking for GNU Emacs
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (firstname.lastname@example.org)
Slender typeface for code, from code.
The K3 Language: compiler toolchain repository
Double-entry accounting system with a command-line reporting interface
A simple programmer's aide
My personal website.
Very lightweight HTTP server using Lwt or Async
Lightweight gamificaton layer for org-mode.
A simple lexical analyzer framework in python. Needs Python 3.1+
A Haskell library for working with predicates.
Data Structures storing sequences supporting efficient prefix queries.
A tool to make handling ReStructured Text easier.
My own little toolbox of python goodies.
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
My Github User Page
Implementation of the Materialization Calculus, and related tooling.
A text filter to format text into a table
A Principled, Extensible, Text Markup Language
A Simple Mathematics Library
A simple framework for mail notification in zsh.