Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Data Structures packages

Showing projects tagged as Dependent Types and Data Structures

  • Agda

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

  • singletons

    9.7 5.9 Haskell
    Fake dependent types in Haskell using singletons

  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets

  • parameterized-utils

    9.1 7.3 Haskell
    A set of utilities for using indexed types including containers, equality, and comparison.

  • 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.6 Haskell
    Dependently typed elimination functions using singletons

  • type-level-bst

    4.3 0.0 Haskell
    Type-Level Binary Search Tree in Haskell

  • open-typerep

    4.3 0.0 Haskell
    Open type representations and dynamic types

  • Sit

    4.0 2.1 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers

  • 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.