Repos
34
Stars
370
Forks
150
Top Language
Haskell
Loading contributions...
Top Repositories
Amazon Web Services for Haskell
Generic HTTP types for Haskell (for both client and server code)
Additional functions for random values.
Understanding lenses with the help of Agda
C++ Bash - Quotes from the C++ world
Classes and functions for short-circuit values and expressions.
Repositories
34Additional functions for random values.
Generic HTTP types for Haskell (for both client and server code)
Amazon Web Services for Haskell
A pull-based approach to streaming data.
Nix, the purely functional package manager
Formatting for C++, inspired by PEP 3101 (the "Python 3.0 Formatting")
Understanding lenses with the help of Agda
Classes and functions for short-circuit values and expressions.
For learning and playing with Haskell
mueval with some patches to make it more suitable for an IRC bot.
Arrow-like monad composition for monadLib.
Arrow-like / category-like composition for transformers.
(.:) and friends
Monadic extensions to the xml package.
My first Yesod project: A "room number bingo" creator
Parser combinators for xml-enumerator and compatible XML parsers.
Syntax idea for finding files in directories
Me attempting to learn Agda
No description provided.
No description provided.
Experiment with arithmetic coding in Haskell
[Haskell] Sequential index numbers between 0.0 and 1.0 that allow arbitrarily inserting new numbers in between (for special containers).
C++ Bash - Quotes from the C++ world
No description provided.
The infamous "GOTT project" ("GUI on Transparent Technology"; now dead, of historical interest only)
C++ Web Server
Nix Packages collection
Experiments with sorted associative data structures in Agda
.emacs files of various users (DEPRECATED, i have an .emacs.d repository now)
Command line utilities for JSON on the Flusspferd platform