aristidb/git-tools

Stars
1
Language
Shell
Created almost 13 years ago
Updated almost 13 years ago

aristidb/git-tools

aristidb

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Tools for GIT

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

GOTT

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

fragments

shortcircuit

Classes and functions for short-circuit values and expressions.

fmtxx

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

rest

functors

(.:) and friends

agda

Me attempting to learn Agda

xml-enumerator-combinators

Parser combinators for xml-enumerator and compatible XML parsers.

GameOfLife

playground

Just a playground

dotemacs

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

fluvial

Better C++ Streams

monadLib-compose

Arrow-like monad composition for monadLib.

zimmerbingo

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

dcpu16-hs

xml-monad

Monadic extensions to the xml package.

mueval-irc

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

haskell-containers

For learning and playing with 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).

filefind

Syntax idea for finding files in directories

kv-agda

Experiments with sorted associative data structures in Agda

.emacs.d

My new .emacs.d

elisp-utils

Some utility functions for elisp

flusspferd-json-utils

Command line utilities for JSON on the Flusspferd platform

arith-coding

Experiment with arithmetic coding in Haskell