A library for transliterating between different representations of the Arabic alphabet.
Mirror of the Emacs agda-mode that comes in the release tar ball
Summer school on programming in Agda
A Growl-like alerts notifier for Emacs
Haskell AMQP client library
Anaphoric expressions for Emacs Lisp, providing implicit temporary variables.
A distributed file synchronization tool based on the rsync protocol.
Git mirror of Emacs auctex project
Emacs auto-complete package
Amazon Web Services for Haskell
Library and macros to simplify writing Haskell FFI code
Mirror of the darcs repository at http://patch-tag.com/r/byorgey/BlogLiterately
A CSS framework that aims to cut down on your CSS development time
An implementation of the Haskell ByteString library using the Fiat system from MIT
Utility for creating .hsc files from C API header files
Official upstream development repository for Cabal and cabal-install
Generate Nix build instructions from a Cabal file
Common Lisp library for working with commoditized amounts and balances
Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
A solver for categorical equivalences in Coq based on computational reflection
A formalization of category theory in Coq for personal study and practical work
Archival repository of category theory developments from many authors, mostly in Coq
Port of the Ledger accounting system (see project "ledger") to Common Lisp