RSS feed reader
CRC package for haskell
Cryptanalysis toolset
darcs vcs, with my patches &c.
temporary repo to help with clckwrks darcs integration
Work in progress for marking conflicts with the names of the conflicting patches. Until any patches land in the main darcs repos, they may be edited.
Work in progress for marking conflicts with the names of the conflicting patches. Until any patches land in the main darcs repos, they may be edited.
Rebased version of BSRK Aditya's 2012 GSoC on a darcs patch index (with dates preserved)
Work in progress for darcs rebase feature. Until any patches land in the main darcs repos, they may be edited.
darcs-reviewed mirror
My Public Repository of the ongoing patch index work
Playing with the darcs VCS
how meta.
Combinators for building fast hashing functions. Includes hashing functions for all basic Haskell98 types
Sketch-based data transformation tool
Darcs Web Browser
fork of dbmigrations to get dependencies up to date
Personal website source
a game-reporting IRC bot for AceHack
Silly debt tracking webapp
Debtstack is a tool for (re-)evaluating one's credit card debt
Notify URL in delicious (delicious command line)
Delta Debugging related
combinators based on parsing with derivatives (derp) package
network console game launcher, as it runs on ADE
Graphic pattern design with Diagrams
Tools to help with building digests and newsletters
An explicit-state parallel LTL model checker.
An explicit-state LTL model checker.
my configurations
my miscellaneous configs
Some config files
some of my dzen2 scripts including reddit.sh and pkgnotify.sh
embedded css dsl for atomo
embedded html dsl for atomo
Enum typechecks as a datatype but compiles down to the represnetaion of desired integer (or integer-like) values. This is a special case of Shared Subtypes.
Utilities for use with ESRI products
solutions to
ffi based ruby bindings to libarchive
File sorting program.