10

8

6

4

2

5 Dependent Types packages and projects

  • lens-typelevel

    6.4 0.1 Haskell
    Type-level lenses using singletons
  • decidable

    5.5 5.6 Haskell
    Combinators for manipulating dependently-typed predicates.
  • agda-snippets-hakyll

    2.9 - Haskell
    Literate Agda support using agda-snippets, for Hakyll pages.
  • instance-map

    2.8 0.0 Haskell
    Template haskell utilities for helping with deserialization etc. of existential types
  • list-witnesses

    2.4 6.2 Haskell
    Witnesses for working with type-level lists

Add another 'Dependent Types' Package