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

  • Agda

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

  • idris

    10.0 6.2 Haskell
    A Dependently Typed Functional Programming Language

  • co-log

    9.7 6.3 Haskell
    📓 Flexible and configurable modern #Haskell logging framework

  • singletons

    9.7 6.3 Haskell
    Fake dependent types in Haskell using singletons

  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets

  • reflection

    9.3 4.8 Haskell
    Reifies arbitrary Haskell terms into types that can be reflected back into terms

  • dependent-map

    9.3 0.0 Haskell
    Dependently-typed finite maps (partial dependent products)

  • dependent-sum

    9.3 4.3 Haskell
    Dependent sums and supporting typeclasses for comparing and displaying them

  • parameterized-utils

    9.1 6.1 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 0.0 Haskell
    A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

  • some

    8.1 3.4 Haskell
    Existential type.

  • typeparams

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

  • fin

    7.4 2.9 Haskell
    Nat, Fin, Vec

  • helf

    7.3 3.3 Haskell
    Haskell implementation of the Edinburgh Logical Framework

  • eliminators

    7.1 4.5 Haskell
    Dependently typed elimination functions using singletons

  • decidable

    6.7 5.2 Haskell
    Combinators for manipulating dependently-typed predicates.

  • type-equality

    6.6 2.5 Haskell
    Haskell definition of type equality, coercion/cast and other operations.

  • prim-uniq

    6.2 0.0 Haskell
    Opaque unique identifiers in primitive state monads

  • type-fun

    5.9 0.0 Haskell
    Fun with types

  • lens-typelevel

    5.9 0.0 Haskell
    Type-level lenses using singletons because why not

  • singleton-nats

    5.3 3.4 Haskell
    Unary natural numbers relying on the singletons infrastructure

  • agda2lagda

    4.9 4.9 Haskell
    Simple conversion from Agda text to literate Agda text.

  • open-typerep

    4.4 0.0 Haskell
    Open type representations and dynamic types

  • agda-snippets-hakyll

    4.4 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  • agda-snippets

    4.4 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  • Sit

    4.1 2.5 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers

  • instance-map

    3.6 0.0 Haskell
    Haskell dependent types the ugly and brute force way

  • type-level-bst

    3.6 0.0 Haskell
    Type-Level Binary Search Tree in Haskell

  • agda-unused

    3.3 5.5 Haskell
    Check for unused code in an Agda project.