Pinned Repositories
aws
Amazon Web Services for Haskell
cppbash
C++ Bash - Quotes from the C++ world
fmtxx
Formatting for C++, inspired by PEP 3101 (the "Python 3.0 Formatting")
fragments
functors
(.:) and friends
GOTT
The infamous "GOTT project" ("GUI on Transparent Technology"; now dead, of historical interest only)
http-types
Generic HTTP types for Haskell (for both client and server code)
lens-agda
Understanding lenses with the help of Agda
random-extras
Additional functions for random values.
shortcircuit
Classes and functions for short-circuit values and expressions.
aristidb's Repositories
aristidb/cppbash
C++ Bash - Quotes from the C++ world
aristidb/fragments
aristidb/GOTT
The infamous "GOTT project" ("GUI on Transparent Technology"; now dead, of historical interest only)
aristidb/shortcircuit
Classes and functions for short-circuit values and expressions.
aristidb/fmtxx
Formatting for C++, inspired by PEP 3101 (the "Python 3.0 Formatting")
aristidb/functors
(.:) and friends
aristidb/rest
C++ Web Server
aristidb/xml-enumerator
Pure-Haskell utilities for dealing with XML with the enumerator package.
aristidb/agda
Me attempting to learn Agda
aristidb/filefind
Syntax idea for finding files in directories
aristidb/fluvial
Better C++ Streams
aristidb/haskell-containers
For learning and playing with Haskell
aristidb/monadLib-compose
Arrow-like monad composition for monadLib.
aristidb/mueval-irc
mueval with some patches to make it more suitable for an IRC bot.
aristidb/tippspiel
A web-based Tippspiel for UEFA European Football Championship and FIFA World Cup.
aristidb/transformers-compose
Arrow-like / category-like composition for transformers.
aristidb/xml-enumerator-combinators
Parser combinators for xml-enumerator and compatible XML parsers.
aristidb/xml-monad
Monadic extensions to the xml package.
aristidb/zimmerbingo
My first Yesod project: A "room number bingo" creator
aristidb/attempt
Concrete data type for handling extensible exceptions as failures.
aristidb/auto-complete
Emacs auto-complete package
aristidb/flusspferd-json-utils
Command line utilities for JSON on the Flusspferd platform
aristidb/hspec
Behavior Driven Development for Haskell
aristidb/http-enumerator
HTTP client package with enumerator interface and HTTPS support.
aristidb/Japanese-Tools
Some tools for learners of the Japanese language
aristidb/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)