Paolo Capriotti

optparse-applicative. Applicative option parser

agda-base. Base library for HoTT in Agda

agda-categories. Category theory and algebra

hott-exercises. Solutions of the exercises of the HoTT book

github-trac. Trac plugin for github integration

pipes-core. Compositional pipelines

pledger. Command line accounting tool and python library

kaya. KDE Board Game Suite

pipes-extra. Pipe utilities

qr. QR encoder library

rui. GUI abstraction library for ruby

skema. Command line template expansion tool

pipes-network. Pipe utilities to deal with sockets.

pipes-zlib. Pipes to deal with zipped data

pipes-attoparsec. Utilities to convert a parser into a pipe

pipes-conduit. Conduit adapters for pipes

dbus-qq. Haskell quasi-quoter for DBus functions

iron. A 2048 clone