Data

Tools

Indexes

Applications

Experiments

Packages

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

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

Ecosystem
hackage.haskell.org
Latest Release
0.6.1
over 6 years ago
Versions
19
Downloads
42,402 total
Dependent Packages
34
Dependent Repos
131
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/dependent-sum
    spec
    License Other
    First Release over 14 years ago
    Last Synced 11 days ago
    Keywords
    data dependent-types library public-domain Propose Tags
    Repository
    Stars 56 on GitHub
    Forks 39 on GitHub
    Docker Dependents 2
    Docker Downloads 7,608
    Commits 182
    Committers 31
    Avg per Author 5.871
    DDS 0.72
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Overall Top 4.5%
    Downloads Top 3.5%
    Dependent packages Top 0.8%
    Dependent repos Top 4.8%
    Forks Top 6.3%
    Docker downloads Top 0.1%