aristidb/agda

Stars
2
Language
Haskell
Created about 13 years ago
Updated about 13 years ago

aristidb/agda

aristidb

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

Me attempting to learn Agda

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

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

git-tools

.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