Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "types" keyword
rerefined 0.3.0
Please see README.md.3 versions - Latest release: 1 day ago - 18 downloads total - 0 stars on GitHub - 1 maintainer
type-iso 1.0.1.0
Expresses isomorphic and injective relations between types.3 versions - Latest release: almost 5 years ago - 1 dependent repositories - 2.22 thousand downloads total - 3 stars on GitHub - 2 maintainers
symbol-parser 0.3.0
Please see README.md.3 versions - Latest release: 19 days ago - 39 downloads total - 0 stars on GitHub - 1 maintainer
type-level-show 0.1.0
Please see README.md.1 version - Latest release: 1 day ago - 0 downloads total - 0 stars on GitHub - 1 maintainer
type-level-bytestrings 0.2.0
Please see README.md.2 versions - Latest release: 1 day ago - 13 downloads total - 0 stars on GitHub - 1 maintainer
kind-rational 0.5.0
Type-level rationals. Like KnownNat, but for rationals.5 versions - Latest release: 9 months ago - 1 dependent package - 162 downloads total - 1 stars on GitHub - 1 maintainer
Top 9.0% on hackage.haskell.org
11 versions - Latest release: about 1 month ago - 14 dependent packages - 23 dependent repositories - 12.3 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: about 1 month ago - 14 dependent packages - 23 dependent repositories - 12.3 thousand downloads total - 83 stars on GitHub - 1 maintainer
kind-integer 0.6.0
Type-level integers. Like KnownNat, but for integers.6 versions - Latest release: 9 months ago - 2 dependent packages - 199 downloads total - 1 stars on GitHub - 1 maintainer
type-errors-pretty 0.0.1.2 💰
This library provides replacements for the ErrorMessage constructors to write the text of custom ...4 versions - Latest release: almost 3 years ago - 3 dependent packages - 13 dependent repositories - 5.65 thousand downloads total - 55 stars on GitHub - 1 maintainer
typeably 0.1.0
Please see README.md.1 version - Latest release: 17 days ago - 12 downloads total - 0 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: about 1 year ago - 1 dependent package - 2 dependent repositories - 1.93 thousand downloads total - 3 stars on GitHub - 1 maintainer
sum-type-boilerplate 0.1.1
Library for reducing the boilerplate involved in creating and manipulating sum types2 versions - Latest release: almost 7 years ago - 12 dependent repositories - 2.11 thousand downloads total - 5 stars on GitHub - 1 maintainer
say-my-name 0.1.0.0
Require explicit type application for some type variables.1 version - Latest release: over 3 years ago - 200 downloads total - 0 stars on GitHub - 1 maintainer
xml-tydom-core 0.1.0.0
Please see README.md1 version - Latest release: over 7 years ago - 1 dependent repositories - 950 downloads total - 0 stars on GitHub - 1 maintainer
monopati 0.1.4
Well-typed paths5 versions - Latest release: over 5 years ago - 2.28 thousand downloads total - 20 stars on GitHub - 1 maintainer
compound-types 0.1.4
Sum and Product types and such10 versions - Latest release: over 6 years ago - 6.48 thousand downloads total - 28 stars on GitHub - 1 maintainer
xml-tydom-conduit 0.1.0.0
Please see README.md1 version - Latest release: over 7 years ago - 1 dependent repositories - 889 downloads total - 0 stars on GitHub - 1 maintainer
typerep-map 0.3.2 💰
A dependent map from type representations to values of these types. Here is an illustration of s...9 versions - Latest release: about 5 years ago - 2 dependent packages - 10 dependent repositories - 19.5 thousand downloads total - 96 stars on GitHub - 1 maintainer
fcf-composite 0.1.1.0
Type-level computation for composite using first-class-families.2 versions - Latest release: over 2 years ago - 265 downloads total - 1 maintainer
rg 1.4.0.0
Please see the README on GitHub at https://github.com/cdornan/rg#readme3 versions - Latest release: almost 5 years ago - 6 dependent repositories - 1.3 thousand downloads total - 1 maintainer
fcf-graphs 0.0.1.0
Type-level version of algebraic-graphs.1 version - Latest release: over 2 years ago - 147 downloads total - 1 maintainer
finite 1.4.1.2
A framework for capturing finite ranges with types, where the sizes of the ranges are not fixed s...2 versions - Latest release: over 3 years ago - 1 dependent repositories - 385 downloads total - 1 maintainer
fcf-vinyl 0.0.1.0
Vinyl compatibility with first-class-families1 version - Latest release: over 2 years ago - 183 downloads total - 1 maintainer
fcf-family 0.2.0.1
Promote regular type families to first-class, without polluting the type namespace. See README.3 versions - Latest release: 4 months ago - 2 dependent packages - 1 dependent repositories - 218 downloads total - 0 stars on GitLab.com - 1 maintainer
fcf-base 0.1.0.0
Family of families for featherweight defunctionalization1 version - Latest release: over 1 year ago - 1 dependent repositories - 54 downloads total - 0 stars on GitLab.com - 1 maintainer
generic-type-functions 0.1.0
Please see README.md.1 version - Latest release: 29 days ago - 9 downloads total - 0 stars on GitHub - 1 maintainer
row-types-barbies 1.0.0.0
This package is a small extension to the row-types library that includes barbies instances for ro...1 version - Latest release: over 2 years ago - 163 downloads total - 113 stars on GitHub - 1 maintainer
Related Keywords
library
27
mit
15
data
10
bsd3
9
haskell
9
other
4
data-structures
2
encode
2
decode
2
xml
2
web
2
text
2
hacktoberfest
2
mpl
2
dependent-types
2
variants
1
records
1
generics
1
vinyl
1
graphs
1
algebra
1
composite
1
typerep-map
1
dmap
1
dependent-map
1
cache
1
binary-search
1
arrays
1
apache
1
type-system
1
stack
1
path
1
cofree
1
system
1
cast
1
bytestring
1
type-errors
1
th
1
haskell-library
1
program
1
type-level
1
pretty
1
compile-time
1