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 6

3. logic-classes logic-classes Public

   Framework for propositional and first order logic, theorem proving

   Haskell 7 2

4. hsx2hs hsx2hs Public

   Literal XML syntax in Haskell source code

   Haskell 7 4

5. Diff Diff Public

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

   Haskell 5 4

6. haskell-unixutils haskell-unixutils Public

   Foster home for wayward Unix utility functions

   Haskell 4 2