10

8

6

4

2


10.0

9.9
Agda

9.7

7.0
singletons

9.4
0.0
cubical

9.0
0.0
hoq

7.4

2.8
helf

7.1

4.6
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 7.0 Haskell
    Fake dependent types in Haskell using singletons

    • InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
    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.4 2.8 Haskell
    Haskell implementation of the Edinburgh Logical Framework

  • eliminators

    7.1 4.6 Haskell
    Dependently typed elimination functions using singletons

  • agda-snippets

    4.6 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.9 3.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers

  • open-typerep

    3.8 0.0 Haskell
    Open type representations and dynamic types
SaaSHub - Software Alternatives and Reviews
featured www.saashub.com

Popular Comparisons

Add another 'Dependent Types' Package