Aristid Breitkreuz

aws. Amazon Web Services for Haskell

http-types. Generic HTTP types for Haskell (for both client and server code)

random-extras. Additional functions for random values.

lens-agda. Understanding lenses with the help of Agda

cppbash. C++ Bash - Quotes from the C++ world

fragments. C++

shortcircuit. Classes and functions for short-circuit values and expressions.

GOTT. The infamous "GOTT project" ("GUI on Transparent Technology"; now dead, of historical interest only)

rest. C++ Web Server

functors. (.:) and friends

fmtxx. Formatting for C++, inspired by PEP 3101 (the "Python 3.0 Formatting")

xml-enumerator. Pure-Haskell utilities for dealing with XML with the enumerator package.

playground. Just a playground

agda. Me attempting to learn Agda

dcpu16-hs. Haskell

GameOfLife. Haskell

transformers-compose. Arrow-like / category-like composition for transformers.

sequential-index. [Haskell] Sequential index numbers between 0.0 and 1.0 that allow arbitrarily inserting new numbers in between (for special containers).

dotemacs. .emacs files of various users (DEPRECATED, i have an .emacs.d repository now)

fluvial. Better C++ Streams

zimmerbingo. My first Yesod project: A "room number bingo" creator

haskell-containers. For learning and playing with Haskell

filefind. Syntax idea for finding files in directories

monadLib-compose. Arrow-like monad composition for monadLib.

mueval-irc. mueval with some patches to make it more suitable for an IRC bot.

xml-monad. Monadic extensions to the xml package.

xml-enumerator-combinators. Parser combinators for xml-enumerator and compatible XML parsers.

tippspiel. A web-based Tippspiel for UEFA European Football Championship and FIFA World Cup.

elisp-utils. Some utility functions for elisp

git-tools. Tools for GIT

arith-coding. Experiment with arithmetic coding in Haskell

.emacs.d. My new .emacs.d

therealnpc.

kv-agda. Experiments with sorted associative data structures in Agda

flusspferd-json-utils. Command line utilities for JSON on the Flusspferd platform

conduit. A pull-based approach to streaming data.