10

8

6

4

2


6.3
0.0

6.0
0.2

4.7

5.8

2.6

7.4

2.6
0.0

8 Dependent Types packages and projects

  • lens-typelevel

    6.3 0.0 Haskell
    Type-level lenses using singletons
  • decidable

    6.0 0.2 Haskell
    Combinators for manipulating dependently-typed predicates.
  • agda2lagda

    4.7 5.8 Haskell
    Translate .agda files into .lagda.tex files.
  • Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
    Promoted scoutapm.com
  • agda-snippets-hakyll

    3.3 0.0 Haskell
    Literate Agda support using agda-snippets, for Hakyll pages.
  • agda-unused

    2.6 7.4 Haskell
    Check for unused code in an Agda project.
  • instance-map

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

    2.3 0.0 Haskell
    Witnesses for working with type-level lists
  • ral-optics

    - -
    Length-indexed random access lists

Add another 'Dependent Types' Package