Pinned Loading

1. unification-sop unification-sop Public

   Haskell package that implements typed terms with logical variables in a prolog-style

   Haskell 3

2. imageSplit imageSplit Public

   Cut horizontal stripes from book scans and use them in spaced repetition software

   Haskell 1

3. preprocessor preprocessor Public

   Remove cpp annotations, to get the source ready for static analysis with a parsing library.

   Haskell 2 3

4. co-de-bruijn co-de-bruijn Public

   Agda 1

5. documentator documentator Public

   Exploration of the design space for "(semi)automatic documentation" in haskell.

   Haskell 1 3

6. haskell-z3 haskell-z3 Public

   Forked from IagoAbal/haskell-z3

   Haskell bindings to Microsoft's Z3 API (unofficial).

   Haskell