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

bower.io "typelevel-programming" keyword

View the packages on the bower.io package registry that are tagged with the "typelevel-programming" keyword.

purescript-tuples-native v2.1.0
Implementation of tuples as a flat heterogeneous array, for FFI
9 versions - Latest release: over 5 years ago - 3 dependent packages - 3 dependent repositories - 15 stars on GitHub
purescript-quickcheck-combinators v0.1.3
Typelevel combinators for quickcheck, in purescript
5 versions - Latest release: over 5 years ago - 1 dependent package - 1 stars on GitHub