10

8

6

4

2


6.2
0.0

5.9
0.0

4.8

5.2

2.5

6.9

2.5
0.0

8 Dependent Types packages and projects

  • decidable

    6.2 0.0 Haskell
    Combinators for manipulating dependently-typed predicates.
  • lens-typelevel

    5.9 0.0 Haskell
    Type-level lenses using singletons because why not
  • 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.
    Sponsored scoutapm.com
  • agda2lagda

    4.8 5.2 Haskell
    Simple conversion from Agda text to literate Agda text.
  • agda-snippets-hakyll

    3.2 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
  • agda-unused

    2.5 6.9 Haskell
    Check for unused code in an Agda project.
  • instance-map

    2.5 0.0 Haskell
    Haskell dependent types the ugly and brute force way
  • list-witnesses

    2.2 0.0 Haskell
    Inductive dependently-typed witnesses for working with type-level lists.
  • ral-optics

    - -
    Length-indexed random access lists

Add another 'Dependent Types' Package