| Versions [RSS] | 0.1.0, 0.1.1, 0.5.0, 0.5.1, 0.8.0, 0.12.0, 0.13.0, 0.14.0, 0.15.0 |
|---|---|
| Dependencies | aeson (>=2.1.0 && <2.3), base (>=4.19.0 && <4.22), base64-bytestring (>=1.2.1 && <1.3), bytestring (>=0.11.5 && <0.13), containers (>=0.6.7 && <0.8), directory (>=1.3.6 && <1.4), filepath (>=1.4.200 && <1.6), hspec (>=2.11.0 && <2.12), hydra, regex-tdfa (>=1.3.2 && <1.4), scientific (>=0.3.7 && <0.4), SHA (>=1.6.4 && <1.7), split (>=0.2.3 && <0.3), text (>=2.0.2 && <2.2), time, vector (>=0.12.0 && <0.14) [details] |
| License | Apache-2.0 |
| Author | Joshua Shinavier <josh@fortytwo.net> |
| Maintainer | Joshua Shinavier <josh@fortytwo.net> |
| Uploaded | by joshsh at 2026-04-30T05:25:37Z |
| Category | Data |
| Home page | https://github.com/CategoricalData/hydra#readme |
| Bug tracker | https://github.com/CategoricalData/hydra/issues |
| Source repo | head: git clone https://github.com/CategoricalData/hydra |
| Distributions | |
| Executables | verify-json-kernel, update-wasm, update-json-test, update-json-manifest, update-json-main, update-json-kernel, transform-haskell-dsl-to-json, generate-coq-tests, generate-coq, digest-check, diag-module, bootstrap-from-json |
| Downloads | 420 total (31 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs uploaded by user [build log] All reported builds failed as of 2026-04-30 [all 2 reports] |