10

8

6

4

2


3.3

5.5
agda-unused

5.1

4.9
agda2lagda

6.6

5.1
decidable

4.9
0.0
agda-snippets-hakyll

2.8
0.0
list-witnesses

3.6
0.0
instance-map

8 Dependent Types packages and projects

  • agda-unused

    3.3 5.5 Haskell
    Check for unused code in an Agda project.

  • agda2lagda

    5.1 4.9 Haskell
    Simple conversion from Agda text to literate Agda text.

    • SaaSHub helps you find the best software and product alternatives
    Promo www.saashub.com
    SaaSHub Logo

  • decidable

    6.6 5.1 Haskell
    Combinators for manipulating dependently-typed predicates.

  • agda-snippets-hakyll

    4.9 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  • list-witnesses

    2.8 0.0 Haskell
    Inductive dependently-typed witnesses for working with type-level lists.

  • instance-map

    3.6 0.0 Haskell
    Haskell dependent types the ugly and brute force way

  • lens-typelevel

    5.9 0.0 Haskell
    Type-level lenses using singletons because why not

  • ral-optics

    - -
    DISCONTINUED. Length-indexed random access lists

Add another 'Dependent Types' Package