hydra-kernel: The Hydra kernel: core types, terms, inference, and DSL runtime

[ apache, data, library ] [ 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". This package is the Hydra kernel: the core type and term model, type inference, the term rewriting and reduction engine, the primitive library, and the DSL runtime — the code that must be present in every Hydra implementation. The convenient entry point is the Hydra.Kernel module, which re-exports the kernel's collision-free surface.

Modules

[Index] [Quick Jump]

Hydra

Downloads

hydra-kernel-0.17.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

No Candidates

Versions [RSS]	0.16.0, 0.16.1, 0.17.0
Change log	CHANGELOG.md
Dependencies	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), process (>=1.6.0 && <1.7), regex-tdfa (>=1.3.2 && <1.4), scientific (>=0.3.7 && <0.4), split (>=0.2.3 && <0.3), text (>=2.0.2 && <2.2), time (>=1.12.0 && <1.13) [details]
License	Apache-2.0
Author	Joshua Shinavier <josh@fortytwo.net>
Maintainer	Joshua Shinavier <josh@fortytwo.net>
Uploaded	by joshsh at 2026-07-01T14:19:30Z
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
Reverse Dependencies	14 direct, 1 indirect [details]
Downloads	15 total (12 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2026-07-01 [all 1 reports]