Data

Tools

Indexes

Applications

Experiments

Packages

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

dec

Decidable propositions

Ecosystem
hackage.haskell.org
Latest Release
0.0.6
almost 2 years ago
Versions
4
Downloads
21,890 total
Dependent Packages
4
Dependent Repos
11
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
singleton-bool 0.1.8
Type level booleans
9 versions - Latest release: almost 2 years ago - 6 dependent packages - 31 dependent repositories - 30.5 thousand downloads total - 6 stars on GitHub - 1 maintainer
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.

Filter
Filter by Kind
All kinds runtime 2
Links
Registry hackage.haskell.org
Source Repository
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:hackage/dec
spec
License BSD-3-Clause
First Release over 6 years ago
Last Synced 15 days ago
Keywords
bsd3 data dependent-types library Propose Tags
Repository
Stars 4 on GitHub
Forks 3 on GitHub
repos.ecosyste.ms
Rankings on hackage.haskell.org
Downloads Top 7.9%
Dependent packages Top 4.6%