10

8

6

4

2


10.0

9.6

9.7

6.3

9.4
0.0

9.0
0.0
hoq

7.5

4.8

7.3

4.2

9 Dependent Types packages and projects

  • Agda

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

    9.7 6.3 Haskell
    Fake dependent types in Haskell using singletons
  • Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
  • 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.5 4.8 Haskell
    Haskell implementation of the Edinburgh Logical Framework
  • eliminators

    7.3 4.2 Haskell
    Dependently typed elimination functions using singletons
  • open-typerep

    4.5 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.4 0.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers

Add another 'Dependent Types' Package