seereason

Popular repositories Loading

1. atp-haskell atp-haskellPublic

   Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

   Haskell 17 5

2. process-extras process-extrasPublic

   Forked from davidlazar/process-extras

   Extra functionality for the Process library

   Haskell 9 7

3. logic-classes logic-classesPublic

   Framework for propositional and first order logic, theorem proving

   Haskell 7 2

4. hsx2hs hsx2hsPublic

   Literal XML syntax in Haskell source code

   Haskell 7 4

5. Diff DiffPublic

   Clone of Sterling Clover's Diff repo on hub.darcs.net

   Haskell 6 5

6. haskell-unixutils haskell-unixutilsPublic

   Foster home for wayward Unix utility functions

   Haskell 4 2