Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Dependent Types packages

Showing projects tagged as Dependent Types

  • idris

    10.0 8.5 Haskell
    Functional Programming Language with Dependent Types
  • 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
  • reflection

    9.3 5.0 Haskell
    Reifies arbitrary terms into types that can be reflected back into terms
  • 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
  • dependent-map

    8.5 0.1 Haskell
    Dependent finite maps (partial dependent products)
  • dependent-sum

    8.4 7.4 Haskell
    Dependent sum type
  • co-log

    8.3 7.5 Haskell
    Composable Contravariant Combinatorial Comonadic Configurable Convenient Logging
  • typeparams

    7.8 0.0 Haskell
    ...
  • 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).
  • fin

    5.5 5.6 Haskell
    Nat and Fin
  • open-typerep

    4.8 0.0 Haskell
    Open type representations and dynamic types
  • singleton-nats

    4.3 4.0 Haskell
    Unary natural numbers relying on the singletons infrastructure.
  • prim-uniq

    3.8 0.0 Haskell
    Opaque unique identifiers in primitive state monads
  • type-fun

    3.8 0.0 Haskell
    Collection of widely reimplemented type families
  • 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
  • agda-snippets-hakyll

    2.9 - Haskell
    Literate Agda support using agda-snippets, for Hakyll pages.
  • singleton-dict

    0.8 0.0 Haskell
    Typelevel balanced search trees via a singletonized Data.Map