`refinery`

Please see the README on GitHub at https://github.com/githubuser/refinery#readme

Ecosystem
hackage.haskell.org

Latest Release
0.4.0.0
almost 5 years ago

Versions
4

Downloads
7,064 total

Dependent Packages
2

Dependent Repos
2

hls-tactics-plugin 2.2.0.0

Please see the README on GitHub at https://github.com/haskell/haskell-language-server#readme
18 versions - Latest release: over 2 years ago - 2 dependent packages - 4.81 thousand downloads total - 7 maintainers

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 1

Links

Registry	hackage.haskell.org
Source	Repository
Homepage	Homepage
JSON API	View JSON
CodeMeta	codemeta.json

Package Details

PURL	`pkg:hackage/refinery` spec
License	BSD-3-Clause
First Release	over 6 years ago
Last Synced	3 days ago

Keywords
bsd3 language library Propose Tags metaprogramming proof-automation proof-refinement

Repository

Stars	70 on GitHub
Forks	3 on GitHub
Commits	77
Committers	3
Avg per Author	25.667
DDS	0.078

commits.ecosyste.ms

repos.ecosyste.ms

Rankings on hackage.haskell.org

Dependent packages Top 7.1%

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Packages