Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "type-system" keyword
funspection 1.0.0.1
Type-level function utilities.3 versions - Latest release: over 3 years ago - 1 thousand downloads total - 0 stars on GitHub - 1 maintainer
nullary 0.1.0.0
A package for working with nullary type classes in Haskell.1 version - Latest release: over 8 years ago - 853 downloads total - 2 stars on GitHub - 1 maintainer
morloc 0.33.0
See GitHub README https://github.com/morloc-project/morloc#readme1 version - Latest release: over 3 years ago - 175 downloads total - 193 stars on GitHub - 1 maintainer
eq 4.2.1
Leibnizian equality.30 versions - Latest release: over 3 years ago - 140 dependent repositories - 23.7 thousand downloads total - 13 stars on GitHub - 3 maintainers
Top 9.5% on hackage.haskell.org
tfp 1.0.2
14 versions - Latest release: about 3 years ago - 8 dependent packages - 21 dependent repositories - 10.6 thousand downloads total - 2 maintainers
Top 5.2% on hackage.haskell.org
26 versions - Latest release: 6 months ago - 11 dependent packages - 75 dependent repositories - 20.9 thousand downloads total - 2 maintainers
ghc-typelits-knownnat 0.7.10
A type checker plugin for GHC that can derive "complex" KnownNat constraints from other simple/va...26 versions - Latest release: 6 months ago - 11 dependent packages - 75 dependent repositories - 20.9 thousand downloads total - 2 maintainers
type-eq 0.4.2
Type equality evidence you can carry around10 versions - Latest release: about 10 years ago - 129 dependent repositories - 12.5 thousand downloads total - 5 stars on GitHub - 2 maintainers
type-level-numbers 0.1.1.2
8 versions - Latest release: almost 2 years ago - 35 dependent repositories - 7.35 thousand downloads total - 1 maintainer
Top 7.7% on hackage.haskell.org
22 versions - Latest release: 7 months ago - 3 dependent packages - 33 dependent repositories - 17.7 thousand downloads total - 2 maintainers
ghc-typelits-extra 0.4.6
Additional type-level operations on GHC.TypeLits.Nat: Max: type-level max Min: type-level min ...22 versions - Latest release: 7 months ago - 3 dependent packages - 33 dependent repositories - 17.7 thousand downloads total - 2 maintainers
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
ghc-tcplugins-extra 0.4.5
Utilities for writing GHC type-checker plugins, such as creating constraints, with a stable API c...16 versions - Latest release: 7 months ago - 9 dependent packages - 54 dependent repositories - 17.6 thousand downloads total - 10 stars on GitHub - 2 maintainers
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
Top 4.6% on hackage.haskell.org
38 versions - Latest release: 7 months ago - 11 dependent packages - 70 dependent repositories - 29.3 thousand downloads total - 2 maintainers
ghc-typelits-natnormalise 0.7.9
A type checker plugin for GHC that can solve equalities and inequalities of types of kind Nat, wh...38 versions - Latest release: 7 months ago - 11 dependent packages - 70 dependent repositories - 29.3 thousand downloads total - 2 maintainers
static-text 0.2.0.7
static-text provides type-level safety for basic operations on string-like types (finite lists of...8 versions - Latest release: almost 3 years ago - 6 dependent repositories - 3.39 thousand downloads total - 10 stars on GitHub - 1 maintainer
ghc-tcplugin-api 0.11.0.0
An interface for GHC type-checking plugins18 versions - Latest release: 8 months ago - 4 dependent packages - 1 dependent repositories - 1.63 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
hout 0.1.0.0
Hout is an in-Haskell non-interactive proof assistant for intuitionistic first-order logic, using...1 version - Latest release: about 4 years ago - 325 downloads total - 34 stars on GitHub - 1 maintainer
typelevel-rewrite-rules 1.0.0.1
A typechecker plugin which allows the user to specify a set of domain-specific rewrite rules. The...3 versions - Latest release: about 1 year ago - 3 dependent repositories - 682 downloads total - 61 stars on GitHub - 1 maintainer
reorderable 0.3.1
2 versions - Latest release: over 10 years ago - 1.83 thousand downloads total - 1 maintainertype-cereal 0.1.1
4 versions - Latest release: about 12 years ago - 1 dependent repositories - 2.73 thousand downloads total - 1 maintainerdefargs 0.3
default arguments in haskell3 versions - Latest release: over 9 years ago - 2.43 thousand downloads total - 1 stars on GitHub - 1 maintainer
type-settheory 0.1.3
5 versions - Latest release: over 13 years ago - 3.65 thousand downloads total - 1 maintainertfp-th 0.8
1 version - Latest release: almost 11 years ago - 920 downloads total - 1 maintainertype-functions 0.2.0.4
6 versions - Latest release: almost 8 years ago - 1 dependent repositories - 4.32 thousand downloads total - 1 maintainertype-level-natural-number-induction 1.0.0.1
2 versions - Latest release: almost 12 years ago - 2 dependent repositories - 1.73 thousand downloads total - 1 maintainerghc-corroborate 1.0.0
GHC API for typechecker plugins.2 versions - Latest release: almost 2 years ago - 2 dependent repositories - 169 downloads total - 0 stars on GitHub - 1 maintainer
type-level-natural-number 1.1.1
4 versions - Latest release: over 11 years ago - 14 dependent repositories - 3.6 thousand downloads total - 1 maintainersupermonad 0.2.0
The supermonad library adds support for supermonads to GHC using a type checker plugin. Plugins a...4 versions - Latest release: over 6 years ago - 2.37 thousand downloads total - 1 maintainer
natural-number 1.0
1 version - Latest release: over 13 years ago - 1.21 thousand downloads total - 1 maintainertype-level-natural-number-operations 1.0
1 version - Latest release: over 13 years ago - 1.16 thousand downloads total - 1 maintainertype-digits 0.3
5 versions - Latest release: almost 11 years ago - 1 dependent repositories - 3.45 thousand downloads total - 1 maintainertype-ord-spine-cereal 0.2
2 versions - Latest release: over 11 years ago - 1 dependent repositories - 1.67 thousand downloads total - 1 maintainertype-booleans 0.1
1 version - Latest release: over 12 years ago - 1.09 thousand downloads total - 1 maintainerkinds 0.0.1.5
6 versions - Latest release: over 12 years ago - 1 dependent repositories - 4.42 thousand downloads total - 1 maintainerdata-type 0.1.0
Primitive types and classes for Oleg-inspired type[class] manipulation2 versions - Latest release: over 12 years ago - 1 dependent repositories - 2.04 thousand downloads total - 1 maintainer
sext 0.1.3
Lists, Texts, ByteStrings and Vectors with type-encoded length6 versions - Latest release: about 7 years ago - 3.85 thousand downloads total - 10 stars on GitHub - 1 maintainer
cluss 0.3
simple alternative to type classes3 versions - Latest release: over 9 years ago - 3.43 thousand downloads total - 4 stars on GitHub - 1 maintainer
type-ord 0.3
3 versions - Latest release: almost 11 years ago - 1 dependent repositories - 2.21 thousand downloads total - 1 maintainertype-spine 0.2.20120924
5 versions - Latest release: over 11 years ago - 1 dependent repositories - 3.46 thousand downloads total - 1 maintainertype-level-sets 0.6.1
9 versions - Latest release: over 8 years ago - 6 dependent repositories - 6.75 thousand downloads total - 1 maintainernames 0.3.1
7 versions - Latest release: about 11 years ago - 1 dependent repositories - 5.17 thousand downloads total - 1 maintainerif-instance 0.5.1.0
GHC plugin to branch on whether a constraint is satisfied9 versions - Latest release: 8 months ago - 1 dependent package - 564 downloads total - 28 stars on GitHub - 1 maintainer
ghc-magic-dict-compat 0.0.0.0 💰
Please see the README on GitHub at https://github.com/konn/ghc-magic-dict-compat#readme1 version - Latest release: 4 months ago - 30 downloads total - 3 stars on GitHub - 1 maintainer
uom-plugin 0.4.0.0
The uom-plugin library adds support for units of measure as a GHC type-checker plugin. See Data.U...6 versions - Latest release: over 1 year ago - 4 dependent repositories - 3.23 thousand downloads total - 30 stars on GitHub - 1 maintainer
Related Keywords
library
44
bsd3
33
data
10
bsd2
5
plugin
4
ghc
4
math
3
monad
2
mit
2
text
2
type-level-programming
2
solver
2
presburger-arithmetic-solver
2
haskell
2
ghc-plugin
2
dependent-types
2
compiler-plugin
2
language
2
compatibility
1
data-structures
1
constraints
1
deprecated
1
mpl
1
proof-assistant
1
code-generation
1
curry-howard-isomorphism
1
logic
1
types
1
compiler
1
gpl
1
program
1
functional-language
1
interoperability
1
ontologies
1
polyglot
1
programming-language
1