hackage.haskell.org "type-level-programming" keyword
mu-persistent 0.3.1.0
Please see the documentation.4 versions - Latest release: about 5 years ago - 2 dependent repositories - 1.16 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: almost 6 years ago - 1 dependent repositories - 1.16 thousand downloads total - 61 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: over 8 years ago - 1 dependent repositories - 4.16 thousand downloads total - 351 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: almost 6 years ago - 421 downloads total - 334 stars on GitHub - 2 maintainers
generic-records 0.2.0.0 💰
Generically derive traversals, lenses, and prisms.2 versions - Latest release: over 8 years ago - 1.86 thousand downloads total - 441 stars on GitHub - 1 maintainer
type-fold 0.1.0.0
This module provides an interface for a generic folding mechanism over types, allowing library au...1 version - Latest release: 7 days ago - 1 downloads total - 1 maintainer
type-natural 1.3.0.2 💰
Type-level well-kinded natural numbers.49 versions - Latest release: about 1 year ago - 2 dependent packages - 14 dependent repositories - 29.6 thousand downloads total - 34 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 months ago - 4 dependent packages - 9 dependent repositories - 9 thousand downloads total - 9 stars on GitHub - 1 maintainer
o-clock 1.4.0
See README.md for details.13 versions - Latest release: over 2 years ago - 5 dependent packages - 11 dependent repositories - 5.19 thousand downloads total - 49 stars on GitHub - 5 maintainers
Top 8.8% on hackage.haskell.org
5 versions - Latest release: 6 months ago - 2 dependent packages - 9 dependent repositories - 18.7 thousand downloads total - 440 stars on GitHub - 3 maintainers
generic-lens-core 2.3.0.0 💰
Generically derive traversals, lenses, and prisms.5 versions - Latest release: 6 months ago - 2 dependent packages - 9 dependent repositories - 18.7 thousand downloads total - 440 stars on GitHub - 3 maintainers
singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals12 versions - Latest release: 7 months ago - 3 dependent packages - 8 dependent repositories - 1.77 thousand downloads total - 9 stars on GitHub - 1 maintainer
Top 3.9% on hackage.haskell.org
21 versions - Latest release: 6 months ago - 39 dependent packages - 121 dependent repositories - 34.5 thousand downloads total - 440 stars on GitHub - 4 maintainers
generic-lens 2.3.0.0 💰
Generically derive traversals, lenses, and prisms.21 versions - Latest release: 6 months ago - 39 dependent packages - 121 dependent repositories - 34.5 thousand downloads total - 440 stars on GitHub - 4 maintainers
generic-optics 2.3.0.0 💰
Generically derive traversals, lenses, and prisms.5 versions - Latest release: 6 months ago - 3 dependent packages - 9 dependent repositories - 3.27 thousand downloads total - 440 stars on GitHub - 3 maintainers
Related Keywords
library
13
Propose Tags
13
haskell
8
bsd3
7
traversals
4
optics
4
lenses
4
records
4
generics
4
dependent-types
4
lens
3
ghc
3
math
3
type-level
3
apache
2
solver
2
presburger-arithmetic-solver
2
ghc-plugin
2
compiler-plugin
2
type-system
2
network
2
avro
2
defines-schemas
2
graphql
2
grpc
2
hacktoberfest
2
monads
2
mu
2
protocol-buffers
2
mu-graphql
2
mit
2
rpc
2
mu-haskell
2
mpl
2
type-safety
1
rational-numbers
1
time
1
program
1
memory
1
safe
1
proof-assistant
1
measure
1
units
1
data
1
music
1
haskell-library
1
midi
1
music-composition
1
music-notation
1