10

8

6

4

2


10.0

9.7

9.7

6.0

9.4
0.0

9.0
0.0
hoq

7.3
0.0

7.2

3.8

9 Dependent Types packages and projects

  • Agda

    10.0 9.7 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.
  • singletons

    9.7 6.0 Haskell
    Fake dependent types in Haskell using singletons
  • Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.
    Promo
  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • hoq

    9.0 0.0 Haskell
    A language based on homotopy type theory with an interval
  • helf

    7.3 0.0 Haskell
    Haskell implementation of the Edinburgh Logical Framework
  • eliminators

    7.2 3.8 Haskell
    Dependently typed elimination functions using singletons
  • open-typerep

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

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

    3.2 2.4 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers

Add another 'Dependent Types' Package