10

8

6

4

2


6 Dependent Types packages and projects

  • list-witnesses

    2.7 4.5 Haskell
    Witnesses for working with type-level lists
  • decidable

    5.7 4.4 Haskell
    Combinators for manipulating dependently-typed predicates.
  • lens-typelevel

    6.4 0.0 Haskell
    Type-level lenses using singletons
  • instance-map

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

    - -
    Length-indexed random access lists
  • agda-snippets-hakyll

    3.1 - Haskell
    Literate Agda support using agda-snippets, for Hakyll pages.

Add another 'Dependent Types' Package