Popular repositories Loading

1. graphmod graphmod Public

   A utility for displaying the module dependencies of Haskell programs.

   Haskell 187 31

2. pretty-show pretty-show Public

   Tools for working with derived Show instances in Haskell.

   Haskell 58 16

3. type-nat-solver type-nat-solver Public

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

   Haskell 51 5

4. dump-core dump-core Public

   Haskell 48 8

5. presburger presburger Public

   Decision procedures for Presburger arithmetic in Haskell

   Haskell 30 10

6. monadlib monadlib Public

   A monad transformer library for Haskell

   Haskell 29 6