Dependent Types packages

Showing projects tagged as Dependent Types

  • idris

    10.0 3.1 Haskell
    A Dependently Typed Functional Programming Language
  • Agda

    10.0 9.7 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.
  • singletons

    9.7 4.9 Haskell
    Fake dependent types in Haskell using singletons
  • co-log

    9.6 2.4 Haskell
    📓 Flexible and configurable modern #Haskell logging framework
  • dependent-map

    9.4 0.0 Haskell
    Dependently-typed finite maps (partial dependent products)
  • dependent-sum

    9.4 0.6 Haskell
    Dependent sums and supporting typeclasses for comparing and displaying them
  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • reflection

    9.3 4.5 Haskell
    Reifies arbitrary Haskell terms into types that can be reflected back into terms
  • parameterized-utils

    9.2 7.2 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
  • tensor-safe

    8.8 1.7 Haskell
    A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
  • some

    8.0 1.9 Haskell
    Existential type.
  • typeparams

    7.9 0.0 Haskell
    Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
  • fin

    7.6 5.0 Haskell
    Nat, Fin, Vec
  • eliminators

    7.3 0.0 Haskell
    Dependently typed elimination functions using singletons
  • helf

    7.3 4.2 Haskell
    Haskell implementation of the Edinburgh Logical Framework
  • prim-uniq

    6.6 0.0 Haskell
    Opaque unique identifiers in primitive state monads
  • type-equality

    6.3 1.9 Haskell
    Haskell definition of type equality, coercion/cast and other operations.
  • decidable

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

    5.9 2.5 Haskell
    Fun with types
  • lens-typelevel

    5.8 0.0 Haskell
    Type-level lenses using singletons because why not
  • agda2lagda

    5.3 7.0 Haskell
    Simple conversion from Agda text to literate Agda text.
  • singleton-nats

    5.0 0.0 Haskell
    Unary natural numbers relying on the singletons infrastructure
  • open-typerep

    4.6 0.0 Haskell
    Open type representations and dynamic types
  • agda-snippets-hakyll

    3.9 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
  • type-level-bst

    3.9 0.0 Haskell
    Type-Level Binary Search Tree in Haskell
  • agda-snippets

    3.9 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
  • instance-map

    3.8 0.0 Haskell
    Haskell dependent types the ugly and brute force way
  • Sit

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

    2.3 1.6 Haskell
    Check for unused code in an Agda project.