seereason

Popular repositories Loading

1. atp-haskell atp-haskell Public

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

   Haskell 18 5

2. process-extras process-extras Public

   Forked from davidlazar/process-extras

   Extra functionality for the Process library

   Haskell 9 7

3. Diff Diff Public

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

   Haskell 9 5

4. logic-classes logic-classes Public

   Framework for propositional and first order logic, theorem proving

   Haskell 7 2

5. hsx2hs hsx2hs Public

   Literal XML syntax in Haskell source code

   Haskell 7 4

6. haskell-unixutils haskell-unixutils Public

   Foster home for wayward Unix utility functions

   Haskell 5 2