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-level-programming" keyword
mezzo 0.3.1.0
A Haskell music composition library that enforces common musical rules in the type system.6 versions - Latest release: over 6 years ago - 1 dependent repositories - 3.95 thousand downloads total - 351 stars on GitHub - 1 maintainer
o-clock 1.4.0
See README.md for details.12 versions - Latest release: 8 months ago - 5 dependent packages - 11 dependent repositories - 4.47 thousand downloads total - 49 stars on GitHub - 5 maintainers
Top 8.8% on hackage.haskell.org
4 versions - Latest release: over 2 years ago - 2 dependent packages - 9 dependent repositories - 16.8 thousand downloads total - 435 stars on GitHub - 2 maintainers
generic-lens-core 2.2.1.0 💰
Generically derive traversals, lenses, and prisms.4 versions - Latest release: over 2 years ago - 2 dependent packages - 9 dependent repositories - 16.8 thousand downloads total - 435 stars on GitHub - 2 maintainers
generic-optics 2.2.1.0 💰
Generically derive traversals, lenses, and prisms.4 versions - Latest release: over 2 years ago - 3 dependent packages - 9 dependent repositories - 2.17 thousand downloads total - 435 stars on GitHub - 2 maintainers
Top 3.9% on hackage.haskell.org
20 versions - Latest release: about 1 year ago - 31 dependent packages - 121 dependent repositories - 31.1 thousand downloads total - 435 stars on GitHub - 3 maintainers
generic-lens 2.2.2.0 💰
Generically derive traversals, lenses, and prisms.20 versions - Latest release: about 1 year ago - 31 dependent packages - 121 dependent repositories - 31.1 thousand downloads total - 435 stars on GitHub - 3 maintainers
type-natural 1.3.0.1 💰
Type-level well-kinded natural numbers.48 versions - Latest release: 5 months ago - 2 dependent packages - 14 dependent repositories - 27.8 thousand downloads total - 33 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.3.0 💰
Presburger arithmetic solver for built-in type-level naturals21 versions - Latest release: 5 months ago - 4 dependent packages - 9 dependent repositories - 7.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
singletons-presburger 0.7.3.0 💰
Presburger arithmetic solver for built-in type-level naturals10 versions - Latest release: 5 months ago - 3 dependent packages - 8 dependent repositories - 1.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
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 4 years ago - 1 dependent repositories - 948 downloads total - 61 stars on GitHub - 1 maintainer
mu-persistent 0.3.1.0
Please see the documentation.4 versions - Latest release: over 3 years ago - 2 dependent repositories - 953 downloads total - 307 stars on GitHub - 2 maintainers
generic-records 0.2.0.0 💰
Generically derive traversals, lenses, and prisms.2 versions - Latest release: almost 7 years ago - 1.73 thousand downloads total - 433 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 4 years ago - 311 downloads total - 327 stars on GitHub - 2 maintainers
Related Keywords
library
12
haskell
8
bsd3
7
traversals
4
optics
4
lenses
4
records
4
generics
4
dependent-types
4
type-level
3
ghc
3
math
3
lens
3
presburger-arithmetic-solver
2
solver
2
apache
2
network
2
protocol-buffers
2
mu-haskell
2
mu-graphql
2
mu
2
rpc
2
avro
2
defines-schemas
2
graphql
2
grpc
2
hacktoberfest
2
monads
2
ghc-plugin
2
compiler-plugin
2
type-system
2
mpl
2
mit
1
music
1
haskell-library
1
midi
1
music-composition
1
music-notation
1
program
1
time
1
rational-numbers
1
type-safety
1
proof-assistant
1
units
1
measure
1
safe
1
memory
1