10

8

6

4

2


9.9

9.8

9.6

7.3

9.4
0.0

8.8
0.0
hoq

6.8

5.4

6.1
1.2

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.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • hoq

    8.8 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.1 1.2 Haskell
    Typechecking terms of the Edinburgh Logical Framework (LF).
  • open-typerep

    4.8 0.0 Haskell
    Open type representations and dynamic types
  • Sit

    3.2 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