Pinned Loading

1. well-typed/generics-sop well-typed/generics-sop Public

   Generic Programming using True Sums of Products

   Haskell 164 49

2. lhs2tex lhs2tex Public

   Preprocessor for typesetting Haskell sources with LaTeX

   Haskell 107 28

3. records-sop records-sop Public

   Experimental implementation of generic record subtyping

   Haskell 18 6

4. haskell-servant/servant haskell-servant/servant Public

   Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

   Haskell 2k 421

5. SSGEP SSGEP Public

   Haskell 90 3

6. well-typed/optics well-typed/optics Public

   Optics as an abstract interface

   Haskell 388 27