penelope-static: Static Reflection and Cayley Analysis for Penelope Effect Engine
Static analysis substrate and Cayley representation for the Penelope polycategorical effect engine. Provides effect dependency graph extraction, algebraic circuit simplification, pipeline scheduling, and formal verification of institutional satisfaction properties.
[Skip to Readme]
Downloads
- penelope-static-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.14 && <5), containers (>=0.6 && <0.9), penelope-core (>=0.1 && <0.2), polytropos-core (>=0.1 && <0.2), primitive (>=0.9 && <0.10), text (>=2.0 && <2.2) [details] |
| Tested with | ghc ==9.14.1 |
| License | EUPL-1.2 |
| Author | Nadia Yvette Chambers |
| Maintainer | nadia.yvette.chambers@ik.me |
| Uploaded | by nyc at 2026-11-03T03:51:47Z |
| Category | Control |
| Home page | https://github.com/NadiaYvette/penelope |
| Bug tracker | https://github.com/NadiaYvette/penelope/issues |
| Source repo | head: git clone https://github.com/NadiaYvette/penelope(packages/penelope-static) |
| Distributions | |
| Reverse Dependencies | 1 direct, 3 indirect [details] |
| Downloads | 3 total (3 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |