hackage.haskell.org "type-level-programming" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "type-level-programming" keyword.
singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals12 versions - Latest release: 7 days ago - 3 dependent packages - 8 dependent repositories - 1.66 thousand downloads total - 9 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 days ago - 4 dependent packages - 9 dependent repositories - 8.8 thousand downloads total - 9 stars on GitHub - 1 maintainer
Top 8.8% on hackage.haskell.org
4 versions - Latest release: over 3 years ago - 2 dependent packages - 9 dependent repositories - 18.6 thousand downloads total - 440 stars on GitHub - 2 maintainers
generic-lens-core 2.2.1.0 💰
Generically derive traversals, lenses, and prisms.4 versions - Latest release: over 3 years ago - 2 dependent packages - 9 dependent repositories - 18.6 thousand downloads total - 440 stars on GitHub - 2 maintainers
Top 3.9% on hackage.haskell.org
20 versions - Latest release: over 2 years ago - 39 dependent packages - 121 dependent repositories - 33.9 thousand downloads total - 440 stars on GitHub - 3 maintainers
generic-lens 2.2.2.0 💰
Generically derive traversals, lenses, and prisms.20 versions - Latest release: over 2 years ago - 39 dependent packages - 121 dependent repositories - 33.9 thousand downloads total - 440 stars on GitHub - 3 maintainers
generic-optics 2.2.1.0 💰
Generically derive traversals, lenses, and prisms.4 versions - Latest release: over 3 years ago - 3 dependent packages - 9 dependent repositories - 3.19 thousand downloads total - 440 stars on GitHub - 2 maintainers
generic-records 0.2.0.0 💰
Generically derive traversals, lenses, and prisms.2 versions - Latest release: about 8 years ago - 1.84 thousand downloads total - 441 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: almost 8 years ago - 1 dependent repositories - 4.1 thousand downloads total - 351 stars on GitHub - 1 maintainer
mu-persistent 0.3.1.0
Please see the documentation.4 versions - Latest release: over 4 years ago - 2 dependent repositories - 1.1 thousand downloads total - 307 stars on GitHub - 2 maintainers
membrain 0.0.0.2 💰
membrain provides newtype wrapper for type-safe work with memory units This data type stores mem...3 versions - Latest release: about 5 years ago - 1 dependent repositories - 1.11 thousand downloads total - 61 stars on GitHub - 1 maintainer
mu-kafka 0.3.0.0
This package provides simple interoperation between Mu and Kafka using hw-kafka-client1 version - Latest release: about 5 years ago - 403 downloads total - 334 stars on GitHub - 2 maintainers
type-natural 1.3.0.2 💰
Type-level well-kinded natural numbers.49 versions - Latest release: 7 months ago - 2 dependent packages - 14 dependent repositories - 29.1 thousand downloads total - 34 stars on GitHub - 1 maintainer
o-clock 1.4.0
See README.md for details.13 versions - Latest release: almost 2 years ago - 5 dependent packages - 11 dependent repositories - 4.94 thousand downloads total - 49 stars on GitHub - 5 maintainers
Related Keywords
library
12
Propose Tags
12
haskell
8
bsd3
7
traversals
4
optics
4
lenses
4
dependent-types
4
records
4
generics
4
lens
3
ghc
3
type-level
3
math
3
mu-haskell
2
protocol-buffers
2
rpc
2
mpl
2
mu-graphql
2
mu
2
monads
2
hacktoberfest
2
grpc
2
graphql
2
defines-schemas
2
avro
2
type-system
2
compiler-plugin
2
ghc-plugin
2
presburger-arithmetic-solver
2
solver
2
apache
2
network
2
type-safety
1
rational-numbers
1
time
1
program
1
proof-assistant
1
units
1
measure
1
safe
1
memory
1
music-notation
1
music-composition
1
midi
1
mit
1
music
1
haskell-library
1