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.16.1.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
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), 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) [details]
License	Apache-2.0
Author	Joshua Shinavier <josh@fortytwo.net>
Maintainer	Joshua Shinavier <josh@fortytwo.net>
Uploaded	by joshsh at 2026-06-16T23:01:20Z
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	2 direct, 0 indirect [details]
Downloads	8 total (8 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-06-16 [all 1 reports]