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

    9.9 9.8 Haskell
    A dependently typed functional programming language and proof assistant

  • singletons

    9.6 7.3 Haskell
    A framework for generating singleton types

  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets

  • parameterized-utils

    9.1 8.1 Haskell
    Classes and data structures for working with data-kind indexed types

  • hoq

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

  • eliminators

    6.8 5.4 Haskell
    Dependently typed elimination functions using singletons

  • helf

    6.1 1.2 Haskell
    Typechecking terms of the Edinburgh Logical Framework (LF).

  • open-typerep

    4.8 0.0 Haskell
    Open type representations and dynamic types

  • Sit

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

  • type-level-bst

    3.2 0.0 Haskell
    type-level binary search trees in haskell

  • agda-snippets

    2.9 0.0 Haskell
    Render just the Agda snippets of a literate Agda file to HTML