Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "singletons" keyword

ral-optics 0.2.1
Nat, Fin, Vec
3 versions - Latest release: almost 2 years ago - 812 downloads total - 25 stars on GitHub - 1 maintainer
bin 0.1.4
Nat, Fin, Vec
5 versions - Latest release: almost 2 years ago - 1 dependent package - 6 dependent repositories - 9.17 thousand downloads total - 25 stars on GitHub - 1 maintainer
fin 0.3.2
Nat, Fin, Vec
11 versions - Latest release: over 1 year ago - 6 dependent packages - 13 dependent repositories - 14.1 thousand downloads total - 25 stars on GitHub - 1 maintainer
ral-lens 0.2.1
Nat, Fin, Vec
3 versions - Latest release: almost 2 years ago - 2.24 thousand downloads total - 25 stars on GitHub - 1 maintainer
ral 0.2.2
Nat, Fin, Vec
4 versions - Latest release: almost 2 years ago - 1 dependent package - 8 dependent repositories - 9.25 thousand downloads total - 25 stars on GitHub - 1 maintainer
Related Keywords
data 5 dependent-types 5 library 5 Propose Tags 5 gpl 4 math 2 optics 1 bsd3 1 lens 1