10

8

6

4

2


10.0

9.9
Agda

9.7

8.2
singletons

9.4
0.0
cubical

9.0
0.0
hoq

7.3

3.3
helf

7.1

5.0
eliminators

9 Dependent Types packages and projects

  • Agda

    10.0 9.9 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.

  • singletons

    9.7 8.2 Haskell
    Fake dependent types in Haskell using singletons

    • InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
    Promo www.influxdata.com
    InfluxDB Logo

  • 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 3.3 Haskell
    Haskell implementation of the Edinburgh Logical Framework

  • eliminators

    7.1 5.0 Haskell
    Dependently typed elimination functions using singletons

  • agda-snippets

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

  • open-typerep

    4.3 0.0 Haskell
    Open type representations and dynamic types

  • Sit

    4.1 3.1 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers
SaaSHub - Software Alternatives and Reviews
featured www.saashub.com

Popular Comparisons

Add another 'Dependent Types' Package