Mercury CSS: A classless stylesheet boilerplate with no dependencies. Built for speed. Typography focused.

A (more or less) one page introduction to Nix, the language.

An Agda library for turning equations into bijections using the translation method

Functional sed for JSON

Enumerating the k-pop-stack-sortable permutations

Given initial terms of an unknown generating function F, conjecture a functional equation that F satisfies.

A Dependently Typed Functional Programming Language

A style guide for Haskell code.

Create command line interfaces with ease

A static website compiler library in Haskell

Code for permutation analysis

A tool for identifying sequences of integer numbers by using the OEIS database

Bootstrap template for Pandoc - Converts markdown files into Twitter Bootstrap styled HTML

Applicative option parser

Quick and easy INI configuration files for Haskell

Core types and utilities

Nix, the purely functional package manager

Nix Packages collection & NixOS

maildir indexer/searcher + emacs mail client + guile bindings