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

Top 8.7% on bower.io
Top 0.6% dependent packages on bower.io
Top 4.7% dependent repos on bower.io

bower.io : purescript-typelevel

Type level natural numbers and booleans

Source - JSON - codemeta.json
purl: pkg:bower/purescript-typelevel
License: BSD-3-Clause
Latest release: over 6 years ago
First release: over 9 years ago
Dependent packages: 11
Dependent repositories: 16
Stars: 33 on GitHub
Forks: 10 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago

Top 9.7% on bower.io
purescript-sized-vectors v5.0.2
Idris style sized vectors in PureScript
11 versions - Latest release: about 5 years ago - 7 dependent packages - 10 dependent repositories - 18 stars on GitHub
purescript-refined v1.0.0
Purescript refinement types with runtime checking
5 versions - Latest release: over 5 years ago - 25 stars on GitHub
purescript-quickcheck-combinators v0.1.3
Typelevel combinators for quickcheck, in purescript
5 versions - Latest release: almost 6 years ago - 1 dependent package - 1 stars on GitHub
purescript-sized-matrices v1.0.0
Sized Matrices for Purescript
5 versions - Latest release: almost 6 years ago - 2 stars on GitHub
purescript-modular-arithmetic v4.0.0
Modular arithmetic in PureScript
6 versions - Latest release: about 7 years ago - 1 dependent package - 1 dependent repositories - 8 stars on GitHub
purescript-materialize v0.1.6
Materialize bindings à la purescript-smolder.
4 versions - Latest release: over 7 years ago - 3 stars on GitHub
purescript-annoy v0.1.1
3 versions - Latest release: over 7 years ago - 1 stars on GitHub
purescript-binary-integers v0.0.3
[Un]sized [Un]signed integer types on top of purescript-binary
3 versions - Latest release: over 8 years ago - 2 stars on GitHub
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.