This is your work, valued

Iavor S. Diatchki

Expert
@yav

graphmod. A utility for displaying the module dependencies of Haskell programs.

187

pretty-show. Tools for working with derived Show instances in Haskell.

58

type-nat-solver. A plugin for solving numeric constraints in GHC's type-checker

51

dump-core. Haskell

48

presburger. Decision procedures for Presburger arithmetic in Haskell

30

monadlib. A monad transformer library for Haskell

29

simple-smt. Haskell

22

haskell-lexer. A fully compliant Haskell 98 lexer.

16

haskell-zipper. A Haskell datastructure for working with locations in trees or forests.

14

url. A URL package for Haskell

13

smtLib. Haskell datatypes for generating SMTLIB files.

12

hp2html. View GHC profile files as HTML

6

hobbit. The old hobbit compiler

6

value-supply. A Haskell library for generating new names without threading state.

6

haskore-vintage. An old version of the Haskore library

6

GraphSCC. Tarjan's algorithm for computing strongly connected components

5

elf. Haskell library for parsing ELF object files

5

alsa-haskell. Haskell bindings to the ALSA libray

5

games. Haskell

4

tc-solver. Haskell

4

MageKnight. Haskell

4

sbv. Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

4

hm-types. Tools for constructing "Hindley-Milner + qualified types + kinds" based type systems.

4

advent_of_code. Haskell

3

memory-arrays. An example of using type-level naturals for safe array manipulation.

3

parsimony. Haskell parser combinators derived from Parsec

3

panic. A Haskell library for reporting unexpected behavior.

3

sequent-core. A GHC plugin framework for optimizations using sequent calculus style AST

2

LL. Haskell

2

simple-get-opt. A simple library for processing command-line options to Haskell programs.

2

HM. Haskell

2

constraint_solver. Haskell

2

colorize-haskell. Highligt Haskell source

2

hansa_teutonica. Lua

2

mini-sat. A Haskell implementation of a simple SAT solver

2

web-games. Haskell

1

concordia. Haskell

1

rfcs. Discussion about proposed changes to the Haskell programming language

1

clutter. Haskell bindings to the clutter library

1

HollingBerries. A fictional scenario implemented in multiple languages in order to compare language paradigms.

1