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