Pinned Loading

1. proarrow proarrow Public

   Haskell library for doing category theory with a central role for profunctors

   Haskell 18 1

2. one-liner one-liner Public

   Constraint-based generics

   Haskell 48 7

3. free-functors free-functors Public

   Provides free functors that are adjoint to functors that forget class constraints.

   Haskell 27 3

4. blog blog Public

   This is my blog, I'm hosting it here on GitHub.

   22 3

5. unfoldable unfoldable Public

   Class of data structures that can be unfolded.

   Haskell 13 5

6. data-category data-category Public

   Library of categories, with categorical constructions on them

   Haskell 54 6