10

8

6

4

2


3.4

5.5

5.0

6.1

6.7

2.4

2.8
0.0

3.6
0.0

8 Dependent Types packages and projects

  • agda-unused

    3.4 5.5 Haskell
    Check for unused code in an Agda project.
  • agda2lagda

    5.0 6.1 Haskell
    Simple conversion from Agda text to literate Agda text.
  • Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
  • decidable

    6.7 2.4 Haskell
    Combinators for manipulating dependently-typed predicates.
  • agda-snippets-hakyll

    4.4 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

    6.0 0.0 Haskell
    Type-level lenses using singletons because why not
  • ral-optics

    - -
    Length-indexed random access lists

Add another 'Dependent Types' Package