np

camllexer

An independant OCaml lexer, extracted from OCaml/Camlp4

mbox-tools

A collection of command line tools on the mbox format

mime-bytestring

A for of the mime haskell package to work on bytestrings as well

bitcoin

Bitcoin integration/staging tree

codec-mbox

An Haskell library to read and write mailboxes in mbox format

frquotes

Translate the French-Quotes in a UTF-8 Haskell file into a Quasi-Quotation that can be instantiated later on.

hasquail

Quail in Haskell

heliotrope

a lightweight, search-centric, document-tree store

hxmppc

Haskell XMPP (Jabber Client) Command Line Interface (CLI)

agda-git-experiment

darcs-bridge experiment with Agda repository

Coq-Equations

A plugin for Coq to add dependent pattern-matching.

crypto-agda

git-annex

a mirror of git-annex's main git repository

sshuttle

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Tomb

the Crypto Undertaker

turnsole

Curses client for Heliotrope

vim-addon-agda

see README

vim-conf

yubi-goog

Use a yubikey to authenticate with google's two factor authentication

zsh-conf

Zsh configuration files

colout

Color Up Arbitrary Command Ouput

eq

Leibnizian type equality

git-annex-zsh-completion

zsh completion for git-annex

helios-server

Helios server

HoTT-Agda

Development of homotopy type theory in Agda

liquidprompt

A full-featured & carefully designed adaptive prompt for Bash & Zsh

our-boxen

Copy me for your team.

PyBitmessage

vim-colors-solarized

precision colorscheme for the vim text editor

xiki

Emacs libs in ruby