Aristid Breitkreuz (@aristidb)

Top repositories

1

aws

Amazon Web Services for Haskell
Haskell
238
star
2

http-types

Generic HTTP types for Haskell (for both client and server code)
Haskell
54
star
3

random-extras

Additional functions for random values.
Haskell
7
star
4

lens-agda

Understanding lenses with the help of Agda
6
star
5

cppbash

C++ Bash - Quotes from the C++ world
Python
5
star
6

GOTT

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

fragments

C++
4
star
8

shortcircuit

Classes and functions for short-circuit values and expressions.
Haskell
4
star
9

fmtxx

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

rest

C++ Web Server
C++
3
star
11

functors

(.:) and friends
Haskell
3
star
12

agda

Me attempting to learn Agda
Haskell
2
star
13

xml-enumerator-combinators

Parser combinators for xml-enumerator and compatible XML parsers.
Haskell
2
star
14

GameOfLife

Haskell
2
star
15

playground

Just a playground
Haskell
2
star
16

dotemacs

.emacs files of various users (DEPRECATED, i have an .emacs.d repository now)
Emacs Lisp
2
star
17

fluvial

Better C++ Streams
2
star
18

monadLib-compose

Arrow-like monad composition for monadLib.
Haskell
2
star
19

zimmerbingo

My first Yesod project: A "room number bingo" creator
Haskell
2
star
20

dcpu16-hs

Haskell
2
star
21

xml-monad

Monadic extensions to the xml package.
Haskell
2
star
22

mueval-irc

mueval with some patches to make it more suitable for an IRC bot.
Haskell
2
star
23

haskell-containers

For learning and playing with Haskell
Haskell
2
star
24

transformers-compose

Arrow-like / category-like composition for transformers.
Haskell
2
star
25

sequential-index

[Haskell] Sequential index numbers between 0.0 and 1.0 that allow arbitrarily inserting new numbers in between (for special containers).
Haskell
2
star
26

filefind

Syntax idea for finding files in directories
Haskell
2
star
27

kv-agda

Experiments with sorted associative data structures in Agda
1
star
28

git-tools

Tools for GIT
Shell
1
star
29

.emacs.d

My new .emacs.d
Emacs Lisp
1
star
30

elisp-utils

Some utility functions for elisp
Emacs Lisp
1
star
31

flusspferd-json-utils

Command line utilities for JSON on the Flusspferd platform
1
star
32

arith-coding

Experiment with arithmetic coding in Haskell
Haskell
1
star