Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 4.5% on hackage.haskell.org
Top 3.5% downloads on hackage.haskell.org
Top 0.8% dependent packages on hackage.haskell.org
Top 4.8% dependent repos on hackage.haskell.org
Top 6.3% forks on hackage.haskell.org
Top 0.1% docker downloads on hackage.haskell.org
Top 3.5% downloads on hackage.haskell.org
Top 0.8% dependent packages on hackage.haskell.org
Top 4.8% dependent repos on hackage.haskell.org
Top 6.3% forks on hackage.haskell.org
Top 0.1% docker downloads on hackage.haskell.org
hackage.haskell.org : dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Registry
-
Source
- JSON
purl: pkg:hackage/dependent-sum
Keywords: data, dependent-types, library, public-domain
License: Other
Latest release: almost 5 years ago
First release: almost 13 years ago
Dependent packages: 34
Dependent repositories: 131
Downloads: 38,943 total
Stars: 54 on GitHub
Forks: 38 on GitHub
Docker dependents: 2
Docker downloads: 7,608
Total Commits: 182
Committers: 31
Average commits per author: 5.871
Development Distribution Score (DDS): 0.72
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago
Top 7.0% on hackage.haskell.org
28 versions - Latest release: 15 days ago - 36 dependent packages - 12 dependent repositories - 9.46 thousand downloads total - 2,565 stars on GitHub - 7 maintainers
hls-plugin-api 2.8.0.0 💰
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.28 versions - Latest release: 15 days ago - 36 dependent packages - 12 dependent repositories - 9.46 thousand downloads total - 2,565 stars on GitHub - 7 maintainers
Top 5.9% on hackage.haskell.org
19 versions - Latest release: 23 days ago - 26 dependent packages - 34 dependent repositories - 13.9 thousand downloads total - 354 stars on GitHub - 7 maintainers
lsp-types 2.2.0.0
An implementation of the types to allow language implementors to support the Language Server Prot...19 versions - Latest release: 23 days ago - 26 dependent packages - 34 dependent repositories - 13.9 thousand downloads total - 354 stars on GitHub - 7 maintainers
reflex-gi-gtk 0.2.0.1
This package provides a a reflex host and helper functions to create reactive GUI applications us...3 versions - Latest release: 3 months ago - 1 dependent package - 2 dependent repositories - 360 downloads total - 2 stars on GitLab.com - 1 maintainer
reflex-vty 0.5.2.0
Build terminal applications using functional reactive programming (FRP) with Reflex FRP (https://...20 versions - Latest release: 4 months ago - 4 dependent packages - 4 dependent repositories - 3.6 thousand downloads total - 4 maintainers
otp-authenticator 0.1.2.1 💰
Simple tool for keeping track of your one-time pad two-factor authentication keys; basically a co...5 versions - Latest release: 4 months ago - 1 dependent package - 1.98 thousand downloads total - 4 stars on GitHub - 1 maintainer
tinytools-vty 0.1.0.7
tinytools-vty is a terminal based monospace unicode diagram editing tool5 versions - Latest release: 5 months ago - 1 dependent package - 1 dependent repositories - 171 downloads total - 7 stars on GitHub - 2 maintainers
tinytools 0.1.0.7
tinytools is a mono-space unicode diagram editor library, tinytools is only the model and control...6 versions - Latest release: 5 months ago - 1 dependent package - 1 dependent repositories - 173 downloads total - 1 stars on GitHub - 2 maintainers
dependent-sum-template 0.2.0.1
Template Haskell code to generate instances of classes in some package, such as GEq and GCompare.13 versions - Latest release: 6 months ago - 10 dependent packages - 65 dependent repositories - 21.1 thousand downloads total - 1 stars on GitHub - 6 maintainers
typelits-witnesses 0.4.0.1 💰
This library contains: A small specialized subset of the *singletons* library as it pertains to ...15 versions - Latest release: 6 months ago - 3 dependent packages - 27 dependent repositories - 9.54 thousand downloads total - 9 stars on GitHub - 1 maintainer
reflex-test-host 0.1.2.3
Please see the README on GitHub at https://github.com/pdlla/reflex-test-host#readme6 versions - Latest release: 6 months ago - 3 dependent packages - 2 dependent repositories - 687 downloads total - 1 stars on GitHub - 2 maintainers
Top 6.0% on hackage.haskell.org
37 versions - Latest release: 6 months ago - 5 dependent packages - 19 dependent repositories - 16.3 thousand downloads total - 728 stars on GitHub - 3 maintainers
hnix 0.17.0
Haskell implementation of the Nix language.37 versions - Latest release: 6 months ago - 5 dependent packages - 19 dependent repositories - 16.3 thousand downloads total - 728 stars on GitHub - 3 maintainers
rock 0.3.1.2 💰
See https://www.github.com/ollef/rock for more information and https://github.com/ollef/rock/tree...7 versions - Latest release: 7 months ago - 1 dependent package - 3 dependent repositories - 1.67 thousand downloads total - 113 stars on GitHub - 3 maintainers
emanote 1.2.0.0
Create beautiful websites -- such as personal webpage, blog, wiki, Zettelkasten, notebook, knowle...4 versions - Latest release: 9 months ago - 1 dependent package - 193 downloads total - 1 maintainer
parsley-core 2.3.0.0
This package contains the internals of the parsley package. While this library adheres to the Ha...21 versions - Latest release: 9 months ago - 1 dependent package - 2 dependent repositories - 2.86 thousand downloads total - 48 stars on GitHub - 1 maintainer
parsley 2.0.0.1
Parsley is a staged selective parser combinator library, which means it does not support monadic ...10 versions - Latest release: 9 months ago - 1.44 thousand downloads total - 48 stars on GitHub - 1 maintainer
ema 0.10.2.0
Ema is a next-gen Haskell library for building jamstack-style static sites. Ema sites are change-...8 versions - Latest release: 10 months ago - 4 dependent packages - 1 dependent repositories - 579 downloads total - 1 maintainer
Top 7.6% on hackage.haskell.org
beam-migrate 0.5.2.1
14 versions - Latest release: 11 months ago - 2 dependent packages - 23 dependent repositories - 12.1 thousand downloads total - 3 maintainerspatch 0.0.8.2
Data structures for describing changes to other data structures. In this library, a patch is som...16 versions - Latest release: 12 months ago - 5 dependent packages - 8 dependent repositories - 5.4 thousand downloads total - 3 maintainers
reflex-potatoes 0.1.0.0
Please see the README on GitHub at https://github.com/pdlla/reflex-potatoes#readme1 version - Latest release: about 1 year ago - 2 dependent packages - 2 dependent repositories - 81 downloads total - 0 stars on GitHub - 2 maintainers
codeworld-api 0.8.1
16 versions - Latest release: over 1 year ago - 6 dependent repositories - 10.5 thousand downloads total - 2 maintainersroboservant 0.1.0.3
Please see the README on GitHub at https://github.com/mwotton/roboservant#readme4 versions - Latest release: over 1 year ago - 2 dependent repositories - 509 downloads total - 26 stars on GitHub - 2 maintainers
dependent-monoidal-map 0.1.1.3
5 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 1.63 thousand downloads total - 3 maintainersvessel 0.3.0.0
A dependently-typed key-value data structure that allows for storage of both "queries", (wherein ...4 versions - Latest release: over 1 year ago - 1 dependent package - 3 dependent repositories - 276 downloads total - 3 maintainers
dependent-sum-aeson-orphans 0.3.1.1
JSON instances for DSum and DMap6 versions - Latest release: over 1 year ago - 2 dependent packages - 4 dependent repositories - 2.12 thousand downloads total - 3 stars on GitHub - 2 maintainers
reflex-gadt-api 0.2.2.1
This package is designed to be used in full-stack Haskell applications where the API is defined a...6 versions - Latest release: over 1 year ago - 1 dependent package - 3 dependent repositories - 644 downloads total - 3 maintainers
ema-extra 0.10.0.0
Useful route types for Ema1 version - Latest release: over 1 year ago - 73 downloads total - 1 maintainer
lambdabot 5.3.1
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. It oper...28 versions - Latest release: over 1 year ago - 1 dependent package - 13 dependent repositories - 18.9 thousand downloads total - 6 maintainers
lambdabot-core 5.3.1
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. Manage ...14 versions - Latest release: over 1 year ago - 7 dependent packages - 21 dependent repositories - 7.55 thousand downloads total - 3 maintainers
vulkan-utils 0.5.10
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...25 versions - Latest release: over 1 year ago - 3 dependent packages - 14 dependent repositories - 3.32 thousand downloads total - 139 stars on GitHub - 2 maintainers
Top 4.5% on hackage.haskell.org
53 versions - Latest release: over 2 years ago - 38 dependent packages - 15 dependent repositories - 22 thousand downloads total - 2,565 stars on GitHub - 8 maintainers
ghcide 1.5.0 💰
A library for building Haskell IDE's on top of the GHC API.53 versions - Latest release: over 2 years ago - 38 dependent packages - 15 dependent repositories - 22 thousand downloads total - 2,565 stars on GitHub - 8 maintainers
Top 5.1% on hackage.haskell.org
34 versions - Latest release: over 4 years ago - 18 dependent packages - 95 dependent repositories - 19.4 thousand downloads total - 4 maintainers
reflex 0.6.4
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) use...34 versions - Latest release: over 4 years ago - 18 dependent packages - 95 dependent repositories - 19.4 thousand downloads total - 4 maintainers
reflex-dom 0.5.3
14 versions - Latest release: over 4 years ago - 2 dependent packages - 82 dependent repositories - 6.87 thousand downloads total - 4 maintainersreflex-dom-core 0.5.3
15 versions - Latest release: over 4 years ago - 3 dependent packages - 34 dependent repositories - 3.9 thousand downloads total - 4 maintainersco-log 0.2.0
The default implementation of logging based on co-log-core. The ideas behind this package are de...11 versions - Latest release: over 5 years ago - 5 dependent packages - 33 dependent repositories - 5.38 thousand downloads total - 253 stars on GitHub - 2 maintainers