hydra: The Hydra Haskell head: primitives, DSL infrastructure, generation driver

[ apache, data, library, program ] [ Propose Tags ] [ Report a vulnerability ]

Hydra is an implementation of the LambdaGraph data model, which takes advantage of an isomorphism between labeled hypergraphs and typed lambda calculus: in Hydra, "graphs are programs, and programs are graphs". The Haskell head provides the hand-written Haskell runtime Hydra needs in order to build and regenerate itself: primitive libraries (Hydra.Lib.*), the embedded DSL infrastructure (Hydra.Dsl.*), the generation driver (Hydra.Generation), the kernel entry point (Hydra.Kernel), module support utilities, and the exec binaries that drive Hydra's Haskell code generation. It consumes the language-independent kernel DSL sources and generated kernel runtime from packageshydra-kernel, plus the Haskell coder DSL sources and generated output from packageshydra-haskell, and produces all Haskell-host build artifacts.

Modules

[Index] [Quick Jump]

Downloads

hydra-0.15.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

joshsh

For package maintainers and hackage trustees

edit package information

Candidates

0.1.0, 0.2.1

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	422 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]