10

8

6

4

2


10.0

9.6
Agda

9.7
0.0
singletons

7.0
0.0
eliminators

4.7
0.0
agda-snippets

4.7
0.0
open-typerep

8.9
0.0
hoq

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

    • Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
    Promo

  • eliminators

    7.0 0.0 Haskell
    Dependently typed elimination functions using singletons

  • agda-snippets

    4.7 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.7 0.0 Haskell
    Open type representations and dynamic types

  • hoq

    8.9 0.0 Haskell
    A language based on homotopy type theory with an interval

  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets

  • Sit

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

  • helf

    7.2 0.0 Haskell
    Haskell implementation of the Edinburgh Logical Framework
Collect and Analyze Billions of Data Points in Real Time
sponsored www.influxdata.com

Popular Comparisons

Updating dependencies is time-consuming.
sponsored blog.mergify.com

Add another 'Dependent Types' Package