dmwit

twitch-music

copyright law is well annoying

haskell-aligned

Haskell types lined up to highlight their similarities

these

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

revnes

A reverse engineering tool for NES games

viaje

Vim Isn't an Acceptable Jex Editor

Connexus

a stupid little puzzle game, implemented badly

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

vty

A high-level ncurses alternative written in Haskell

string-qq

QuasiQuoter for non-interpolated, overloaded strings

beeminder-api

Haskell bindings to the Beeminder API

haggle

An efficient graph library for Haskell

logfloat

Log-domain floating point numbers

ReMon

radare2-regressions

Regression Tests for the Radare2 Reverse Engineer's Debugger

luxafor-python

Python Script Interface For Luxafor

pulp

pulp: process your LaTeX log file with pulp and make a better paper

cabal

Official upstream development repository for Cabal and cabal-install

relation

Data.Relation <-- Translated from Data.Relacion

vim-cryptol

Syntax highlighting for cryptol

total-map

Finitely represented /total/ maps

etp

Extract the text from an email

obfuscation

Implementation of cryptographic program obfuscation

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

haskell-docs

Get the Haskell documentation of a name from a module

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

official

official PhD progress reports and documents

vim-haskell

Haskell support for vim

haskell

haskell practice

cryptol

Cryptol: The Language of Cryptography

DRBG

Deterministic Random Bit Generators (English -> Haskell translation from SP 800-90)