Popular repositories

1. atp-haskell atp-haskell Public

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

   Haskell 16 3

2. process-extras process-extras Public

   Forked from davidlazar/process-extras

   Extra functionality for the Process library

   Haskell 8 4

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 5

5. haskell-unixutils haskell-unixutils Public

   Foster home for wayward Unix utility functions

   Haskell 4 2

6. mtl-unleashed mtl-unleashed Public

   MonadReader and MonadState without the functional dependencies

   Haskell 4