Dependent Types packages

Showing projects tagged as Dependent Types

  • idris

    10.0 4.4 Haskell
    Functional Programming Language with Dependent Types
  • Agda

    10.0 9.8 Haskell
    A dependently typed functional programming language and proof assistant
  • singletons

    9.7 4.7 Haskell
    A framework for generating singleton types
  • co-log

    9.6 3.4 Haskell
    Composable Contravariant Combinatorial Comonadic Configurable Convenient Logging
  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • reflection

    9.4 1.3 Haskell
    Reifies arbitrary terms into types that can be reflected back into terms
  • dependent-sum

    9.3 1.0 Haskell
    Dependent sum type
  • parameterized-utils

    9.3 7.2 Haskell
    Classes and data structures for working with data-kind indexed types
  • dependent-map

    9.3 0.0 Haskell
    Dependent finite maps (partial dependent products)
  • hoq

    9.1 0.0 Haskell
    A language based on homotopy type theory with an interval type
  • tensor-safe

    8.9 2.5 Haskell
    Create valid deep neural network architectures
  • typeparams

    8.0 0.0 Haskell
    ...
  • some

    7.9 3.2 Haskell
    Existential type
  • eliminators

    7.2 0.2 Haskell
    Dependently typed elimination functions using singletons
  • fin

    7.2 0.0 Haskell
    Nat and Fin
  • helf

    7.1 0.0 Haskell
    Typechecking terms of the Edinburgh Logical Framework (LF).
  • type-equality

    6.5 0.7 Haskell
    Type equality, coercion/cast and other operations.
  • prim-uniq

    6.5 0.2 Haskell
    Opaque unique identifiers in primitive state monads
  • decidable

    6.2 0.0 Haskell
    Combinators for manipulating dependently-typed predicates.
  • type-fun

    6.1 2.0 Haskell
    Collection of widely reimplemented type families
  • lens-typelevel

    5.9 0.0 Haskell
    Type-level lenses using singletons
  • singleton-nats

    5.2 0.2 Haskell
    Unary natural numbers relying on the singletons infrastructure.
  • agda2lagda

    4.8 5.5 Haskell
    Translate .agda files into .lagda.tex files.
  • open-typerep

    4.8 0.0 Haskell
    Open type representations and dynamic types
  • type-level-bst

    4.1 0.0 Haskell
    type-level binary search trees in haskell
  • Sit

    3.5 0.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers
  • agda-snippets-hakyll

    3.2 0.0 Haskell
    Literate Agda support using agda-snippets, for Hakyll pages.
  • agda-snippets

    3.2 0.0 Haskell
    Render just the Agda snippets of a literate Agda file to HTML
  • instance-map

    2.6 0.0 Haskell
    Template haskell utilities for helping with deserialization etc. of existential types
  • agda-unused

    2.5 7.2 Haskell
    Check for unused code in an Agda project.