bitonic

ml-w

Minimal ML language to to demonstrate the W type infererence algorithm

agdastuff

Assorted Agda code.

haskell-readability

Short article about Haskell, python, and readability

kant

Core dependent language based on OTT (someday)

language-spelling

Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors

reskell

A clone of hacker news in happstack

digestive-functors

A general way to consume input using applicative functors

xmobar

A minimalistic text-based status bar

cpdt-agda

Partial translation of http://adam.chlipala.net/cpdt/ in Agda

ml

Parser/TypeChecker/Compiler for a simple flavour of ML.

troppotardi

wordwang2

dependencies

Analyze module dependencies in erlang apps

fancontrol

Stupid fancontrol script, since nothing else seems to work for me.

gogh

Haskell templates, similar to Google Closure templates

interpol

GHC preprocessor to enable variable interpolation in strings

otp

Erlang/OTP

quatris

Tetris clone with AI and bastard mode

wai

Haskell Web Application Interface

deploy-lock

dotfiles

my config file

dzen-i3bar

Stupid script that converts dzen2 statuses to i3bar ones

http-client

An HTTP client engine, intended as a base layer for more user-friendly packages.

http-common

Base Haskell types used by a variety of HTTP clients and servers.

http-streams

Haskell HTTP client library for use with io-streams

io-streams

Simple, composable, and easy-to-use stream I/O for Haskell

postgresql-simple

Mid-level client library for accessing PostgreSQL from Haskell

pronk

A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with.

systest

A Distributed Systems Testing Framework

zip-archive

Native Haskell library for working with zip archives