Decision Workspace
higher-graphen-reasoning vs higher-graphen-core vs higher-graphen-structure
Side-by-side comparison of Rust crates
49
higher-graphen-reasoning
experimentalv0.7.1
Reasoning primitives and engines for HigherGraphen invariants, obstructions, completion, model checking, and abstract interpretation.
52
higher-graphen-core
experimentalv0.7.1
Shared primitive types and contracts for HigherGraphen.
51
higher-graphen-structure
experimentalv0.7.1
Structural primitives for HigherGraphen spaces, contexts, morphisms, and topology.
Core Metrics
| higher-graphen-reasoning | higher-graphen-core | higher-graphen-structure | |
|---|---|---|---|
| Health Score | 49 | 52 | 51 |
| Total Downloads | 413 | 773 | 587 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 35 | 116 | 50 |
| Releases | 7 | 8 | 7 |
| Last Updated | 41d ago | 41d ago | 41d ago |
| Age | 2m | 2m | 2m |
Health Breakdown
higher-graphen-reasoning
Maintenance
11
Quality
13
Community
10
Popularity
3
Documentation
12
higher-graphen-core
Maintenance
11
Quality
14
Community
12
Popularity
3
Documentation
12
higher-graphen-structure
Maintenance
11
Quality
14
Community
11
Popularity
3
Documentation
12
Technical Details
| higher-graphen-reasoning | higher-graphen-core | higher-graphen-structure | |
|---|---|---|---|
| Version | 0.7.1 | 0.7.1 | 0.7.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 | Apache-2.0 | Apache-2.0 |
| Dependencies | 5 | 2 | 3 |
| Crate Size | 84KB | 38KB | 95KB |
| Features | 0 | 0 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.80 | 1.80 | 1.80 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •higher-graphen-core leads with a health score of 52/100, but none of the options score above 80.
- •higher-graphen-core is depended on by 116 crates — strongest ecosystem trust.