hackage.haskell.org "type-system" keyword
compound-types 0.1.4
Sum and Product types and such10 versions - Latest release: over 8 years ago - 6.97 thousand downloads total - 29 stars on GitHub - 1 maintainer
Top 9.5% on hackage.haskell.org
tfp 1.0.2
14 versions - Latest release: almost 5 years ago - 8 dependent packages - 21 dependent repositories - 11.4 thousand downloads total - 2 maintainersuom-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 3 years ago - 4 dependent repositories - 3.49 thousand downloads total - 31 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.4.2 💰
Presburger arithmetic solver for built-in type-level naturals24 versions - Latest release: 8 months ago - 4 dependent packages - 9 dependent repositories - 9.05 thousand downloads total - 10 stars on GitHub - 1 maintainer
Top 7.7% on hackage.haskell.org
27 versions - Latest release: 3 months ago - 6 dependent packages - 33 dependent repositories - 19.7 thousand downloads total - 2 maintainers
ghc-typelits-extra 0.5.2
Additional type-level operations on GHC.TypeLits.Nat: Max: type-level max Min: type-level min ...27 versions - Latest release: 3 months ago - 6 dependent packages - 33 dependent repositories - 19.7 thousand downloads total - 2 maintainers
supermonad 0.2.0
The supermonad library adds support for supermonads to GHC using a type checker plugin. Plugins a...4 versions - Latest release: over 8 years ago - 2.59 thousand downloads total - 1 maintainer
morloc 0.33.0
See GitHub README https://github.com/morloc-project/morloc#readme1 version - Latest release: over 5 years ago - 238 downloads total - 211 stars on GitHub - 1 maintainer
singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals12 versions - Latest release: 8 months ago - 3 dependent packages - 8 dependent repositories - 1.79 thousand downloads total - 9 stars on GitHub - 1 maintainer
Top 4.6% on hackage.haskell.org
47 versions - Latest release: 3 months ago - 14 dependent packages - 70 dependent repositories - 31.8 thousand downloads total - 2 maintainers
ghc-typelits-natnormalise 0.9.3
A type checker plugin for GHC that can solve equalities and inequalities of types of kind Nat, wh...47 versions - Latest release: 3 months ago - 14 dependent packages - 70 dependent repositories - 31.8 thousand downloads total - 2 maintainers
type-eq 0.4.2
Type equality evidence you can carry around10 versions - Latest release: almost 12 years ago - 129 dependent repositories - 12.9 thousand downloads total - 5 stars on GitHub - 2 maintainers
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: almost 3 years ago - 3 dependent repositories - 842 downloads total - 62 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: almost 6 years ago - 431 downloads total - 38 stars on GitHub - 1 maintainer
type-functions 0.2.0.4
6 versions - Latest release: over 9 years ago - 1 dependent repositories - 4.59 thousand downloads total - 1 maintainerfunspection 1.0.0.1
Type-level function utilities.3 versions - Latest release: over 5 years ago - 1.14 thousand downloads total - 0 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: about 2 years ago - 88 downloads total - 3 stars on GitHub - 1 maintainer
kinds 0.0.1.5
6 versions - Latest release: about 14 years ago - 1 dependent repositories - 4.73 thousand downloads total - 1 maintainereq 4.2.1
Leibnizian equality.30 versions - Latest release: over 5 years ago - 140 dependent repositories - 25 thousand downloads total - 13 stars on GitHub - 3 maintainers
cluss 0.3
simple alternative to type classes3 versions - Latest release: over 11 years ago - 3.6 thousand downloads total - 4 stars on GitHub - 1 maintainer
type-level-natural-number 1.1.1
4 versions - Latest release: over 13 years ago - 14 dependent repositories - 3.89 thousand downloads total - 1 maintainerghc-corroborate 1.0.0
GHC API for typechecker plugins.2 versions - Latest release: over 3 years ago - 2 dependent repositories - 263 downloads total - 0 stars on GitHub - 1 maintainer
ghc-tcplugin-api 0.18.2.0
An interface for GHC type-checking plugins31 versions - Latest release: about 2 months ago - 4 dependent packages - 1 dependent repositories - 2.66 thousand downloads total - 21 stars on GitHub - 1 maintainer
type-ord 0.3
3 versions - Latest release: over 12 years ago - 1 dependent repositories - 2.35 thousand downloads total - 1 maintainernatural-number 1.0
1 version - Latest release: over 15 years ago - 1.27 thousand downloads total - 1 maintainertype-digits 0.3
5 versions - Latest release: over 12 years ago - 1 dependent repositories - 3.66 thousand downloads total - 1 maintainertype-level-sets 0.6.1
9 versions - Latest release: about 10 years ago - 6 dependent repositories - 7.16 thousand downloads total - 1 maintainertype-settheory 0.1.3
5 versions - Latest release: over 15 years ago - 3.84 thousand downloads total - 1 maintainerghc-tcplugins-extra 0.4.6
Utilities for writing GHC type-checker plugins, such as creating constraints, with a stable API c...18 versions - Latest release: almost 2 years ago - 10 dependent packages - 54 dependent repositories - 19.3 thousand downloads total - 10 stars on GitHub - 2 maintainers
type-level-numbers 0.1.1.2
8 versions - Latest release: over 3 years ago - 35 dependent repositories - 7.77 thousand downloads total - 1 maintainertype-level-natural-number-induction 1.0.0.1
2 versions - Latest release: over 13 years ago - 2 dependent repositories - 1.84 thousand downloads total - 1 maintainertype-ord-spine-cereal 0.2
2 versions - Latest release: over 13 years ago - 1 dependent repositories - 1.77 thousand downloads total - 1 maintainersext 0.1.3
Lists, Texts, ByteStrings and Vectors with type-encoded length6 versions - Latest release: almost 9 years ago - 4.12 thousand downloads total - 10 stars on GitHub - 1 maintainer
if-instance 0.6.0.0
GHC plugin to branch on whether a constraint is satisfied11 versions - Latest release: 11 months ago - 1 dependent package - 1.04 thousand downloads total - 33 stars on GitHub - 1 maintainer
names 0.3.1
7 versions - Latest release: almost 13 years ago - 1 dependent repositories - 5.5 thousand downloads total - 1 maintainertfp-th 0.8
1 version - Latest release: almost 13 years ago - 987 downloads total - 1 maintainertype-booleans 0.1
1 version - Latest release: over 14 years ago - 1.2 thousand downloads total - 1 maintainertype-level-natural-number-operations 1.0
1 version - Latest release: over 15 years ago - 1.23 thousand downloads total - 1 maintainernullary 0.1.0.0
A package for working with nullary type classes in Haskell.1 version - Latest release: over 10 years ago - 916 downloads total - 2 stars on GitHub - 1 maintainer
Top 5.2% on hackage.haskell.org
31 versions - Latest release: 5 months ago - 14 dependent packages - 75 dependent repositories - 23 thousand downloads total - 2 maintainers
ghc-typelits-knownnat 0.8.2
A type checker plugin for GHC that can derive "complex" KnownNat constraints from other simple/va...31 versions - Latest release: 5 months ago - 14 dependent packages - 75 dependent repositories - 23 thousand downloads total - 2 maintainers
defargs 0.3
default arguments in haskell3 versions - Latest release: over 11 years ago - 2.56 thousand downloads total - 1 stars on GitHub - 1 maintainer
reorderable 0.3.1
2 versions - Latest release: over 12 years ago - 1.93 thousand downloads total - 1 maintainerknown-lists 0.1.0.0
A type-level lists library for easy proof-of-membership programming. Provides data structures for...1 version - Latest release: about 1 month ago - 2 downloads total - 1 maintainer
type-cereal 0.1.1
4 versions - Latest release: almost 14 years ago - 1 dependent repositories - 2.91 thousand downloads total - 1 maintainerstatic-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: over 4 years ago - 6 dependent repositories - 3.81 thousand downloads total - 10 stars on GitHub - 1 maintainer
type-spine 0.2.20120924
5 versions - Latest release: over 13 years ago - 1 dependent repositories - 3.65 thousand downloads total - 1 maintainerdata-type 0.1.0
Primitive types and classes for Oleg-inspired type[class] manipulation2 versions - Latest release: over 14 years ago - 1 dependent repositories - 2.14 thousand downloads total - 1 maintainer
Related Keywords
library
45
Propose Tags
45
bsd3
34
data
10
bsd2
5
ghc
4
plugin
4
math
3
dependent-types
3
text
2
data-structures
2
language
2
monad
2
type-level-programming
2
mit
2
compiler-plugin
2
ghc-plugin
2
solver
2
presburger-arithmetic-solver
2
haskell
2
deprecated
1
types
1
mpl
1
constraints
1
compatibility
1
proof-assistant
1
curry-howard-isomorphism
1
logic
1
programming-language
1
polyglot
1
ontologies
1
interoperability
1
functional-language
1
program
1
code-generation
1
gpl
1
compiler
1