hackage.haskell.org "dependent-types" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "dependent-types" keyword.
sized-grid 0.2.0.1
`size-grid` allows you to make finite sized grids and have their size and shape confirmed at comp...7 versions - Latest release: over 6 years ago - 1 dependent repositories - 3.63 thousand downloads total - 5 stars on GitHub - 1 maintainer
Sit 0.2023.8.3
Sit = Size-irrelevant types Sit is a prototypical language with an Agda-compatible syntax. It ha...6 versions - Latest release: over 2 years ago - 1 dependent package - 7 dependent repositories - 3.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
open-typerep 0.6.1
Open type representations and dynamic types9 versions - Latest release: over 9 years ago - 1 dependent repositories - 5.9 thousand downloads total - 4 stars on GitHub - 1 maintainer
constrained-some 0.1.2
This library provides utilities for working with existential types and type-level constraints. It...3 versions - Latest release: about 1 year ago - 136 downloads total - 1 stars on GitHub - 1 maintainer
Top 9.7% on hackage.haskell.org
18 versions - Latest release: over 5 years ago - 11 dependent packages - 30 dependent repositories - 12.1 thousand downloads total - 60 stars on GitHub - 7 maintainers
parameterized-utils 2.1.1
A set of utilities for using indexed types including containers, equality, and comparison.18 versions - Latest release: over 5 years ago - 11 dependent packages - 30 dependent repositories - 12.1 thousand downloads total - 60 stars on GitHub - 7 maintainers
type-natural 1.3.0.2 💰
Type-level well-kinded natural numbers.49 versions - Latest release: about 1 year ago - 2 dependent packages - 14 dependent repositories - 29.6 thousand downloads total - 34 stars on GitHub - 1 maintainer
Top 9.0% on hackage.haskell.org
12 versions - Latest release: 4 months ago - 14 dependent packages - 23 dependent repositories - 13.5 thousand downloads total - 88 stars on GitHub - 1 maintainer
first-class-families 0.8.2.0
A library for type-level programming. See README.12 versions - Latest release: 4 months ago - 14 dependent packages - 23 dependent repositories - 13.5 thousand downloads total - 88 stars on GitHub - 1 maintainer
vec-optics 0.4.1
Nat, Fin, Vec3 versions - Latest release: over 1 year ago - 763 downloads total - 25 stars on GitHub - 1 maintainer
Agda-executable 2.3.0
8 versions - Latest release: about 14 years ago - 9.54 thousand downloads total - 2 maintainersagda-unused 0.3.0
A tool to check for unused code in an Agda project.3 versions - Latest release: about 3 years ago - 1 dependent package - 467 downloads total - 1 maintainer
type-indexed-queues 0.2.0.0
This library provides implementations of five different queues (binomial, pairing, skew, leftist,...3 versions - Latest release: almost 9 years ago - 1 dependent repositories - 2.18 thousand downloads total - 8 stars on GitHub - 1 maintainer
lens-typelevel 0.1.1.0 💰
Type-level lenses using singletons and its defunctionalization system, implemented using the same...3 versions - Latest release: over 7 years ago - 1.81 thousand downloads total - 15 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.4.2 💰
Presburger arithmetic solver for built-in type-level naturals24 versions - Latest release: 7 months ago - 4 dependent packages - 9 dependent repositories - 9 thousand downloads total - 9 stars on GitHub - 1 maintainer
singletons-base-code-generator 0.1
A cabal code generator used in the test suite for the singletons-base library.1 version - Latest release: about 1 year ago - 44 downloads total - 291 stars on GitHub - 1 maintainer
symbols 0.3.0.0
Utilities for manipulating type-level strings natively.6 versions - Latest release: over 6 years ago - 1 dependent package - 3 dependent repositories - 3.24 thousand downloads total - 1 maintainer
singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals12 versions - Latest release: 7 months ago - 3 dependent packages - 8 dependent repositories - 1.77 thousand downloads total - 9 stars on GitHub - 1 maintainer
Top 7.8% on hackage.haskell.org
11 versions - Latest release: over 2 years ago - 20 dependent packages - 47 dependent repositories - 29.5 thousand downloads total - 37 stars on GitHub - 1 maintainer
some 1.0.6
Existential type.11 versions - Latest release: over 2 years ago - 20 dependent packages - 47 dependent repositories - 29.5 thousand downloads total - 37 stars on GitHub - 1 maintainer
Top 4.5% on hackage.haskell.org
19 versions - Latest release: over 6 years ago - 34 dependent packages - 131 dependent repositories - 42.3 thousand downloads total - 56 stars on GitHub - 10 maintainers
dependent-sum 0.6.1
Dependent sums and supporting typeclasses for comparing and displaying them19 versions - Latest release: over 6 years ago - 34 dependent packages - 131 dependent repositories - 42.3 thousand downloads total - 56 stars on GitHub - 10 maintainers
singleton-dict 0.1.0.0
This package provides a typelevel balanced search tree based on an ancient version of Data.Map, o...1 version - Latest release: over 8 years ago - 961 downloads total - 0 stars on GitHub - 1 maintainer
singleton-bool 0.1.8
Type level booleans9 versions - Latest release: over 1 year ago - 6 dependent packages - 31 dependent repositories - 30.5 thousand downloads total - 6 stars on GitHub - 1 maintainer
rzk 0.7.7
Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme30 versions - Latest release: 3 months ago - 2 dependent packages - 1 dependent repositories - 1.64 thousand downloads total - 249 stars on GitHub - 1 maintainer
poly-rec 0.7.0.4
4 versions - Latest release: over 1 year ago - 1 dependent repositories - 578 downloads total - 1 maintainerhelf 1.0.20240318
HELF = Haskell implementation of the Edinburgh Logical Framework HELF implements only a subset o...4 versions - Latest release: almost 2 years ago - 1.59 thousand downloads total - 1 maintainer
decidable 0.3.1.1 💰
This library provides combinators and typeclasses for working and manipulating type-level predica...12 versions - Latest release: almost 2 years ago - 1 dependent package - 5 thousand downloads total - 14 stars on GitHub - 1 maintainer
agda-server 0.1.1
3 versions - Latest release: over 12 years ago - 3.25 thousand downloads total - 1 maintainerral-optics 0.2.1
Nat, Fin, Vec3 versions - Latest release: over 1 year ago - 799 downloads total - 25 stars on GitHub - 1 maintainer
eliminators 0.9.7
This library provides eliminators for inductive data types, leveraging the power of the singleton...18 versions - Latest release: about 1 month ago - 7 dependent repositories - 6.63 thousand downloads total - 28 stars on GitHub - 1 maintainer
singletons-th 3.5.1
singletons-th defines Template Haskell functionality that allows promotion of term-level function...8 versions - Latest release: about 1 month ago - 7 dependent packages - 19 dependent repositories - 4.54 thousand downloads total - 286 stars on GitHub - 1 maintainer
singletons-base 3.5.1
singletons-base uses singletons-th to define promoted and singled functions from the base library...8 versions - Latest release: about 1 month ago - 22 dependent packages - 27 dependent repositories - 4 thousand downloads total - 286 stars on GitHub - 1 maintainer
fcf-containers 0.8.2
Package fcf-containers provides type-level functions and data structures that operate on type-lev...12 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 2.39 thousand downloads total - 3 stars on GitHub - 1 maintainer
agda-snippets-hakyll 0.1.1
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the r...6 versions - Latest release: over 10 years ago - 1 dependent repositories - 4.74 thousand downloads total - 11 stars on GitHub - 1 maintainer
prim-uniq 0.2
Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses ...3 versions - Latest release: almost 6 years ago - 4 dependent packages - 14 dependent repositories - 7.59 thousand downloads total - 8 stars on GitHub - 3 maintainers
MiniAgda 0.2025.7.23
MiniAgda is a tiny dependently-typed programming language in the style of Agda. It serves as a la...12 versions - Latest release: 7 months ago - 1 dependent repositories - 7.56 thousand downloads total - 1 maintainer
hoq 0.3
Package maintainers For package maintainers and hackage trustees Candidates A language bas...3 versions - Latest release: over 11 years ago - 2.52 thousand downloads total - 83 stars on GitHub - 1 maintainer
mezzo 0.3.1.0
A Haskell music composition library that enforces common musical rules in the type system.6 versions - Latest release: over 8 years ago - 1 dependent repositories - 4.14 thousand downloads total - 351 stars on GitHub - 1 maintainer
nanoAgda 1.0.0
3 versions - Latest release: almost 14 years ago - 2.54 thousand downloads total - 1 maintainercompare-type 0.1.1
Compare Types of Any Kinds in Haskell2 versions - Latest release: about 11 years ago - 1.88 thousand downloads total - 1 stars on GitHub - 1 maintainer
uAgda 1.2.0.4
9 versions - Latest release: almost 14 years ago - 7.16 thousand downloads total - 1 maintainershow-type 0.1.1
Convert Types into String Values in Haskell2 versions - Latest release: about 11 years ago - 1 dependent package - 5 dependent repositories - 2.26 thousand downloads total - 2 stars on GitHub - 1 maintainer
pisigma 0.2.1
5 versions - Latest release: over 14 years ago - 4.06 thousand downloads total - 2 maintainers
Top 3.1% on hackage.haskell.org
36 versions - Latest release: about 1 year ago - 47 dependent packages - 248 dependent repositories - 52.9 thousand downloads total - 286 stars on GitHub - 2 maintainers
singletons 3.0.4
singletons contains the basic types and definitions needed to support dependently typed programmi...36 versions - Latest release: about 1 year ago - 47 dependent packages - 248 dependent repositories - 52.9 thousand downloads total - 286 stars on GitHub - 2 maintainers
Top 3.9% on hackage.haskell.org
52 versions - Latest release: about 1 year ago - 30 dependent packages - 267 dependent repositories - 219 thousand downloads total - 102 stars on GitHub - 2 maintainers
reflection 2.1.9
This package addresses the configuration problem which is propagating configurations that are ava...52 versions - Latest release: about 1 year ago - 30 dependent packages - 267 dependent repositories - 219 thousand downloads total - 102 stars on GitHub - 2 maintainers
aeson-dependent-sum 0.1.0.1
Newtype wrappers around Data.Dependent.Sum.DSum, for use with -XDerivingVia. These wrappers are h...2 versions - Latest release: over 3 years ago - 201 downloads total - 1 maintainer
agda-snippets 2.5.2
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the r...4 versions - Latest release: over 8 years ago - 1 dependent repositories - 4.04 thousand downloads total - 11 stars on GitHub - 1 maintainer
proof-assistant-bot 0.2.2
Bridge between Telegram Bot and several proof assistants. Currently following proof assistant su...3 versions - Latest release: about 2 years ago - 1 dependent package - 235 downloads total - 10 stars on GitHub - 1 maintainer
typeparams 0.0.6
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation7 versions - Latest release: about 11 years ago - 1 dependent repositories - 5.05 thousand downloads total - 42 stars on GitHub - 1 maintainer
instance-map 0.1.0.0
instance-map provides Template Haskell functions that help go from serialized values with value-l...1 version - Latest release: over 7 years ago - 814 downloads total - 2 stars on GitHub - 1 maintainer
list-witnesses 0.1.4.1 💰
Collection of assorted inductive witnesses and functions for working with type-level lists. *Dat...9 versions - Latest release: almost 2 years ago - 2.93 thousand downloads total - 1 stars on GitHub - 1 maintainer
matrix-sized 0.1.1
A Haskell implementation of matrices with statically known sizes. The library also comes with the...6 versions - Latest release: over 5 years ago - 3 dependent repositories - 1.45 thousand downloads total - 0 stars on GitHub - 1 maintainer
type-fun 0.1.3
Fun with types5 versions - Latest release: over 4 years ago - 1 dependent package - 25 dependent repositories - 3.95 thousand downloads total - 5 stars on GitHub - 1 maintainer
Top 5.0% on hackage.haskell.org
14 versions - Latest release: over 14 years ago - 26 dependent packages - 93 dependent repositories - 30.6 thousand downloads total - 66 stars on GitHub - 8 maintainers
dependent-map 0.1.1
Provides a type called DMap which generalizes Data.Map.Map, allowing keys to specify the type of ...14 versions - Latest release: over 14 years ago - 26 dependent packages - 93 dependent repositories - 30.6 thousand downloads total - 66 stars on GitHub - 8 maintainers
tensor-safe 0.1.0.1
TensorSafe provides a very simple API to create deep neural networks structures which are validat...2 versions - Latest release: almost 7 years ago - 980 downloads total - 102 stars on GitHub - 1 maintainer
type-equality 1.0.1
Haskell definition of type equality, coercion/cast and other operations.7 versions - Latest release: almost 2 years ago - 5 dependent packages - 17 dependent repositories - 29.4 thousand downloads total - 11 stars on GitHub - 3 maintainers
bin 0.1.4
Nat, Fin, Vec5 versions - Latest release: over 1 year ago - 1 dependent package - 6 dependent repositories - 9.14 thousand downloads total - 25 stars on GitHub - 1 maintainer
dependent-enummap 0.1.0.0
1 version - Latest release: 9 months ago - 16 downloads total - 1 maintainerdec 0.0.6
Decidable propositions4 versions - Latest release: over 1 year ago - 4 dependent packages - 11 dependent repositories - 21.9 thousand downloads total - 4 stars on GitHub - 1 maintainer
ral-lens 0.2.1
Nat, Fin, Vec3 versions - Latest release: over 1 year ago - 2.22 thousand downloads total - 25 stars on GitHub - 1 maintainer
Top 4.2% on hackage.haskell.org
45 versions - Latest release: 7 months ago - 6 dependent packages - 61 dependent repositories - 66.5 thousand downloads total - 4 maintainers
Agda 2.8.0
Agda is a dependently typed functional programming language: It has inductive families, which are...45 versions - Latest release: 7 months ago - 6 dependent packages - 61 dependent repositories - 66.5 thousand downloads total - 4 maintainers
idris 1.3.4
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluat...71 versions - Latest release: over 4 years ago - 24 dependent repositories - 71.6 thousand downloads total - 2 maintainers
cubical 0.2.0
Cubical implements an experimental simple type checker for type theory with univalence with an ev...4 versions - Latest release: almost 12 years ago - 3.52 thousand downloads total - 147 stars on GitHub - 1 maintainer
ral 0.2.2
Nat, Fin, Vec4 versions - Latest release: over 1 year ago - 1 dependent package - 8 dependent repositories - 9.22 thousand downloads total - 25 stars on GitHub - 1 maintainer
type-level-bst 0.1
Type-Level Binary Search Tree in Haskell1 version - Latest release: over 11 years ago - 1.2 thousand downloads total - 7 stars on GitHub - 1 maintainer
vec 0.5.1
Nat, Fin, Vec10 versions - Latest release: over 1 year ago - 2 dependent packages - 12 dependent repositories - 6.45 thousand downloads total - 25 stars on GitHub - 1 maintainer
fin 0.3.2
Nat, Fin, Vec11 versions - Latest release: over 1 year ago - 6 dependent packages - 13 dependent repositories - 14.1 thousand downloads total - 25 stars on GitHub - 1 maintainer
agda2lagda 0.2025.9.5
Simple command line tool to convert plain Agda or Haskell files into literate files. Line commen...6 versions - Latest release: 5 months ago - 7 dependent repositories - 1.05 thousand downloads total - 14 stars on GitHub - 1 maintainer
PandocAgda 2.3.3
Agda is a dependently typed functional programming language and a proof assistant. This package ...3 versions - Latest release: almost 13 years ago - 2.96 thousand downloads total - 1 maintainer
vec-lens 0.4.1
Nat, Fin, Vec3 versions - Latest release: over 1 year ago - 2.13 thousand downloads total - 25 stars on GitHub - 1 maintainer
ivor 0.1.14
9 versions - Latest release: almost 15 years ago - 1 dependent repositories - 8.7 thousand downloads total - 2 maintainerspath-sing 0.1.0.0
This library wraps the types in the path library with singleton types to allow more well-typed ha...1 version - Latest release: over 2 years ago - 84 downloads total - 1 maintainer
singleton-nats 0.4.7
Unary natural number relying on the singletons infrastructure. More information about the general...18 versions - Latest release: over 2 years ago - 1 dependent package - 7 dependent repositories - 10.5 thousand downloads total - 7 stars on GitHub - 2 maintainers
Related Keywords
Propose Tags
70
library
61
bsd3
44
data
23
program
21
mit
11
haskell
10
gpl
7
deprecated
6
math
6
singletons
5
type-level-programming
4
haskell-library
3
data-structures
3
ghc
3
public-domain
2
solver
2
presburger-arithmetic-solver
2
ghc-plugin
2
compiler-plugin
2
type-system
2
development
2
optics
2
types
2
other
2
language
2
proof-assistant
2
lens
2
machine-learning
1
functional-programming
1
deep-learning
1
ai
1
linear-algebra
1
optimization
1
system
1
compilers-interpreters
1
agda
1
command-line-tool
1
mpl
1
latex
1
filesystem
1
literate-programming
1
theorem-provers
1
configuration
1
json
1
reflection
1
music-notation
1
music-composition
1
midi
1
music
1
homotopy-type-theory
1
category-theory
1
lenses
1
type-level
1
some
1
existential
1
constraint
1
grid
1
datatype
1