Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "dependent-types" keyword
type-indexed-queues 0.2.0.0
This library provides implementations of five different queues (binomial, pairing, skew, leftist,...3 versions - Latest release: about 7 years ago - 1 dependent repositories - 2.04 thousand downloads total - 8 stars on GitHub - 1 maintainer
type-natural 1.3.0.1 💰
Type-level well-kinded natural numbers.48 versions - Latest release: 4 months ago - 2 dependent packages - 14 dependent repositories - 27.8 thousand downloads total - 33 stars on GitHub - 1 maintainer
ral 0.2.1
Nat, Fin, Vec3 versions - Latest release: over 2 years ago - 1 dependent package - 8 dependent repositories - 7.29 thousand downloads total - 23 stars on GitHub - 1 maintainer
type-fun 0.1.3
Fun with types5 versions - Latest release: almost 3 years ago - 25 dependent repositories - 3.67 thousand downloads total - 5 stars on GitHub - 1 maintainer
ivor 0.1.14
9 versions - Latest release: about 13 years ago - 1 dependent repositories - 8.42 thousand downloads total - 2 maintainersdec 0.0.5
Decidable propositions3 versions - Latest release: over 1 year ago - 4 dependent packages - 11 dependent repositories - 18.8 thousand downloads total - 4 stars on GitHub - 1 maintainer
Agda-executable 2.3.0
8 versions - Latest release: over 12 years ago - 9.17 thousand downloads total - 2 maintainersuAgda 1.2.0.4
9 versions - Latest release: about 12 years ago - 6.87 thousand downloads total - 1 maintainerfin 0.2.1
Nat, Fin, Vec9 versions - Latest release: over 2 years ago - 4 dependent packages - 13 dependent repositories - 11.6 thousand downloads total - 23 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.3.0 💰
Presburger arithmetic solver for built-in type-level naturals21 versions - Latest release: 4 months ago - 4 dependent packages - 9 dependent repositories - 7.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
Top 9.7% on hackage.haskell.org
14 versions - Latest release: over 3 years ago - 5 dependent packages - 30 dependent repositories - 10.5 thousand downloads total - 57 stars on GitHub - 4 maintainers
parameterized-utils 2.1.1
A set of utilities for using indexed types including containers, equality, and comparison.14 versions - Latest release: over 3 years ago - 5 dependent packages - 30 dependent repositories - 10.5 thousand downloads total - 57 stars on GitHub - 4 maintainers
prim-uniq 0.2
Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses ...3 versions - Latest release: about 4 years ago - 4 dependent packages - 14 dependent repositories - 6.97 thousand downloads total - 6 stars on GitHub - 3 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 2 years ago - 24 dependent repositories - 68.5 thousand downloads total - 2 maintainers
Top 3.1% on hackage.haskell.org
34 versions - Latest release: over 1 year ago - 44 dependent packages - 248 dependent repositories - 49.7 thousand downloads total - 281 stars on GitHub - 2 maintainers
singletons 3.0.2
singletons contains the basic types and definitions needed to support dependently typed programmi...34 versions - Latest release: over 1 year ago - 44 dependent packages - 248 dependent repositories - 49.7 thousand downloads total - 281 stars on GitHub - 2 maintainers
singletons-th 3.1.1
singletons-th defines Template Haskell functionality that allows promotion of term-level function...5 versions - Latest release: over 1 year ago - 7 dependent packages - 19 dependent repositories - 2.93 thousand downloads total - 281 stars on GitHub - 1 maintainer
singletons-presburger 0.7.3.0 💰
Presburger arithmetic solver for built-in type-level naturals10 versions - Latest release: 4 months ago - 3 dependent packages - 8 dependent repositories - 1.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
MiniAgda 0.2022.3.11
MiniAgda is a tiny dependently-typed programming language in the style of Agda. It serves as a la...11 versions - Latest release: about 2 years ago - 1 dependent repositories - 7.14 thousand downloads total - 1 maintainer
singletons-base 3.1.1
singletons-base uses singletons-th to define promoted and singled functions from the base library...5 versions - Latest release: over 1 year ago - 21 dependent packages - 27 dependent repositories - 2.68 thousand downloads total - 281 stars on GitHub - 1 maintainer
Top 7.8% on hackage.haskell.org
11 versions - Latest release: 6 months ago - 17 dependent packages - 47 dependent repositories - 25.5 thousand downloads total - 33 stars on GitHub - 1 maintainer
some 1.0.6
Existential type.11 versions - Latest release: 6 months ago - 17 dependent packages - 47 dependent repositories - 25.5 thousand downloads total - 33 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 5 years ago - 1.68 thousand downloads total - 15 stars on GitHub - 1 maintainer
singleton-nats 0.4.7
Unary natural number relying on the singletons infrastructure. More information about the general...18 versions - Latest release: 7 months ago - 1 dependent package - 7 dependent repositories - 9.78 thousand downloads total - 7 stars on GitHub - 2 maintainers
fcf-containers 0.8.2
Package fcf-containers provides type-level functions and data structures that operate on type-lev...12 versions - Latest release: about 1 year ago - 1 dependent package - 2 dependent repositories - 1.93 thousand downloads total - 3 stars on GitHub - 1 maintainer
rzk 0.7.4
Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme27 versions - Latest release: 26 days ago - 2 dependent packages - 1 dependent repositories - 584 downloads total - 182 stars on GitHub - 1 maintainer
path-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: 7 months ago - 26 downloads total - 1 maintainer
open-typerep 0.6.1
Open type representations and dynamic types9 versions - Latest release: almost 8 years ago - 1 dependent repositories - 5.51 thousand downloads total - 4 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: almost 4 years ago - 3 dependent repositories - 1.22 thousand downloads total - 0 stars on GitHub - 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: almost 7 years ago - 1 dependent repositories - 3.87 thousand downloads total - 8 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: over 9 years ago - 1 dependent repositories - 4.8 thousand downloads total - 41 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 8 years ago - 1 dependent repositories - 4.51 thousand downloads total - 8 stars on GitHub - 1 maintainer
helf 1.0.20240318
HELF = Haskell implementation of the Edinburgh Logical Framework HELF implements only a subset o...4 versions - Latest release: about 1 month ago - 1.38 thousand downloads total - 1 maintainer
agda2lagda 0.2023.6.9
Simple command line tool to convert plain Agda or Haskell files into literate files. Line commen...5 versions - Latest release: 11 months ago - 7 dependent repositories - 674 downloads total - 13 stars on GitHub - 1 maintainer
eliminators 0.9.4
This library provides eliminators for inductive data types, leveraging the power of the singleton...15 versions - Latest release: 7 months ago - 7 dependent repositories - 5.92 thousand downloads total - 27 stars on GitHub - 1 maintainer
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 5 years ago - 889 downloads total - 101 stars on GitHub - 1 maintainer
symbols 0.3.0.0
Utilities for manipulating type-level strings natively.6 versions - Latest release: over 4 years ago - 1 dependent package - 3 dependent repositories - 2.83 thousand downloads total - 1 maintainer
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 4 years ago - 1 dependent repositories - 3.39 thousand downloads total - 4 stars on GitHub - 1 maintainer
show-type 0.1.1
Convert Types into String Values in Haskell2 versions - Latest release: over 9 years ago - 1 dependent package - 5 dependent repositories - 2.12 thousand downloads total - 2 stars on GitHub - 1 maintainer
Top 4.5% on hackage.haskell.org
19 versions - Latest release: over 4 years ago - 32 dependent packages - 131 dependent repositories - 38.6 thousand downloads total - 54 stars on GitHub - 7 maintainers
dependent-sum 0.6.1
Dependent sums and supporting typeclasses for comparing and displaying them19 versions - Latest release: over 4 years ago - 32 dependent packages - 131 dependent repositories - 38.6 thousand downloads total - 54 stars on GitHub - 7 maintainers
Top 5.0% on hackage.haskell.org
13 versions - Latest release: almost 13 years ago - 25 dependent packages - 93 dependent repositories - 28.3 thousand downloads total - 61 stars on GitHub - 5 maintainers
dependent-map 0.1.1
Provides a type called DMap which generalizes Data.Map.Map, allowing keys to specify the type of ...13 versions - Latest release: almost 13 years ago - 25 dependent packages - 93 dependent repositories - 28.3 thousand downloads total - 61 stars on GitHub - 5 maintainers
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: almost 6 years ago - 756 downloads total - 2 stars on GitHub - 1 maintainer
nanoAgda 1.0.0
3 versions - Latest release: about 12 years ago - 2.43 thousand downloads total - 1 maintainerpisigma 0.2.1
5 versions - Latest release: almost 13 years ago - 3.87 thousand downloads total - 2 maintainershoq 0.3
Package maintainers For package maintainers and hackage trustees Candidates A language bas...3 versions - Latest release: over 9 years ago - 2.4 thousand downloads total - 81 stars on GitHub - 1 maintainer
type-level-bst 0.1
Type-Level Binary Search Tree in Haskell1 version - Latest release: over 9 years ago - 1.14 thousand downloads total - 3 stars on GitHub - 1 maintainer
compare-type 0.1.1
Compare Types of Any Kinds in Haskell2 versions - Latest release: over 9 years ago - 1.74 thousand downloads total - 1 stars on GitHub - 1 maintainer
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 1 year ago - 122 downloads total - 1 maintainer
PandocAgda 2.3.3
Agda is a dependently typed functional programming language and a proof assistant. This package ...3 versions - Latest release: about 11 years ago - 2.84 thousand downloads total - 1 maintainer
agda-server 0.1.1
3 versions - Latest release: over 10 years ago - 3.11 thousand downloads total - 1 maintainertype-equality 0.1.2
Haskell definition of type equality, coercion/cast and other operations.6 versions - Latest release: almost 11 years ago - 5 dependent packages - 17 dependent repositories - 27.5 thousand downloads total - 10 stars on GitHub - 3 maintainers
agda-unused 0.3.0
A tool to check for unused code in an Agda project.3 versions - Latest release: over 1 year ago - 1 dependent package - 355 downloads total - 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: 3 months ago - 1 dependent package - 113 downloads total - 9 stars on GitHub - 1 maintainer
Top 3.9% on hackage.haskell.org
50 versions - Latest release: about 1 year ago - 28 dependent packages - 267 dependent repositories - 212 thousand downloads total - 101 stars on GitHub - 2 maintainers
reflection 2.1.7
This package addresses the configuration problem which is propagating configurations that are ava...50 versions - Latest release: about 1 year ago - 28 dependent packages - 267 dependent repositories - 212 thousand downloads total - 101 stars on GitHub - 2 maintainers
mezzo 0.3.1.0
A Haskell music composition library that enforces common musical rules in the type system.6 versions - Latest release: over 6 years ago - 1 dependent repositories - 3.93 thousand downloads total - 350 stars on GitHub - 1 maintainer
cubical 0.2.0
Cubical implements an experimental simple type checker for type theory with univalence with an ev...4 versions - Latest release: about 10 years ago - 3.37 thousand downloads total - 141 stars on GitHub - 1 maintainer
Top 4.2% on hackage.haskell.org
42 versions - Latest release: 7 months ago - 6 dependent packages - 61 dependent repositories - 60.1 thousand downloads total - 4 maintainers
Agda 2.6.4
Agda is a dependently typed functional programming language: It has inductive families, which are...42 versions - Latest release: 7 months ago - 6 dependent packages - 61 dependent repositories - 60.1 thousand downloads total - 4 maintainers
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: 9 months ago - 1 dependent package - 7 dependent repositories - 2.97 thousand downloads total - 6 stars on GitHub - 1 maintainer
Top 9.0% on hackage.haskell.org
11 versions - Latest release: 25 days ago - 14 dependent packages - 23 dependent repositories - 12.2 thousand downloads total - 83 stars on GitHub - 1 maintainer
first-class-families 0.8.1.0
A library for type-level programming. See README.11 versions - Latest release: 25 days ago - 14 dependent packages - 23 dependent repositories - 12.2 thousand downloads total - 83 stars on GitHub - 1 maintainer
bin 0.1.3
Nat, Fin, Vec4 versions - Latest release: about 1 year ago - 1 dependent package - 6 dependent repositories - 6.98 thousand downloads total - 23 stars on GitHub - 1 maintainer
decidable 0.3.1.1 💰
This library provides combinators and typeclasses for working and manipulating type-level predica...12 versions - Latest release: 2 months ago - 1 dependent package - 4.39 thousand downloads total - 12 stars on GitHub - 1 maintainer
ral-lens 0.2
Nat, Fin, Vec2 versions - Latest release: about 3 years ago - 1.96 thousand downloads total - 23 stars on GitHub - 1 maintainer
vec 0.4.1
Nat, Fin, Vec9 versions - Latest release: over 2 years ago - 2 dependent packages - 12 dependent repositories - 5.61 thousand downloads total - 23 stars on GitHub - 1 maintainer
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: almost 7 years ago - 907 downloads total - 0 stars on GitHub - 1 maintainer
vec-lens 0.4
Nat, Fin, Vec2 versions - Latest release: about 3 years ago - 1.91 thousand downloads total - 23 stars on GitHub - 1 maintainer
vec-optics 0.4
Nat, Fin, Vec2 versions - Latest release: about 3 years ago - 580 downloads total - 23 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: 2 months ago - 2.57 thousand downloads total - 1 stars on GitHub - 1 maintainer
ral-optics 0.2
Nat, Fin, Vec2 versions - Latest release: about 3 years ago - 574 downloads total - 23 stars on GitHub - 1 maintainer
Related Keywords
library
55
bsd3
40
program
20
data
20
mit
10
haskell
10
math
6
deprecated
6
gpl
6
singletons
5
type-level-programming
4
haskell-library
3
ghc
3
data-structures
3
lens
2
optics
2
language
2
development
2
types
2
other
2
public-domain
2
proof-assistant
2
type-system
2
compiler-plugin
2
ghc-plugin
2
solver
2
presburger-arithmetic-solver
2
type-level
1
music-notation
1
music-composition
1
midi
1
music
1
reflection
1
json
1
grid
1
datatype
1
machine-learning
1
functional-programming
1
deep-learning
1
theorem-provers
1
ai
1
literate-programming
1
latex
1
command-line-tool
1
agda
1
compilers-interpreters
1
optimization
1
configuration
1
linear-algebra
1
system
1
mpl
1
filesystem
1
homotopy-type-theory
1
category-theory
1
lenses
1