10

8

6

4

2


10.0

9.8

9.7

4.7

9.4
0.0

9.1
0.0
hoq

7.2
0.6

7.1
0.0

9 Dependent Types packages and projects

  • Agda

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

    9.7 4.7 Haskell
    A framework for generating singleton types
  • 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
  • cubical

    9.4 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

    7.2 0.6 Haskell
    Dependently typed elimination functions using singletons
  • helf

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

    4.9 0.0 Haskell
    Open type representations and dynamic types
  • agda-snippets

    3.3 0.0 Haskell
    Render just the Agda snippets of a literate Agda file to HTML
  • Sit

    3.3 0.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers

Add another 'Dependent Types' Package