10

8

6

4

2


9.9

9.8

9.6

7.3

9.5
0.0

9.1
0.0
hoq

6.8

5.4

6.7
0.0

9 Dependent Types packages and projects

  • Agda

    9.9 9.8 Haskell
    A dependently typed functional programming language and proof assistant
  • singletons

    9.6 7.3 Haskell
    A framework for generating singleton types
  • cubical

    9.5 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • hoq

    9.1 0.0 Haskell
    A language based on homotopy type theory with an interval type
  • eliminators

    6.8 5.4 Haskell
    Dependently typed elimination functions using singletons
  • helf

    6.7 0.0 Haskell
    Typechecking terms of the Edinburgh Logical Framework (LF).
  • open-typerep

    5.0 0.0 Haskell
    Open type representations and dynamic types
  • Sit

    3.4 0.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers
  • agda-snippets

    2.9 0.0 Haskell
    Render just the Agda snippets of a literate Agda file to HTML

Add another 'Dependent Types' Package