Decision Workspace
heyting vs stateset-nsr vs pr4xis-runtime
Side-by-side comparison of Rust crates
55
heyting
experimentalv0.16.0
Complex logical query answering over knowledge graph embeddings
48
stateset-nsr
experimentalv0.3.1
Neuro-Symbolic Reasoning (NSR) framework for hybrid AI systems combining neural networks with symbolic logic
45
pr4xis-runtime
experimentalv0.28.0
The pr4xis runtime — load a .prx ontology as data, deserialize into the free category, rebind into the closed world; grounds only the hash primitive.
Core Metrics
| heyting | stateset-nsr | pr4xis-runtime | |
|---|---|---|---|
| Health Score | 55 | 48 | 45 |
| Total Downloads | 470 | 147 | 265 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 8 | 2 | 4 |
| Releases | 19 | 3 | 13 |
| Last Updated | 5d ago | 134d ago | 3d ago |
| Age | 15d | 7m | 1m |
Health Breakdown
heyting
Maintenance
17
Quality
14
Community
9
Popularity
3
Documentation
12
stateset-nsr
Maintenance
13
Quality
12
Community
7
Popularity
3
Documentation
13
pr4xis-runtime
Maintenance
13
Quality
13
Community
8
Popularity
3
Documentation
8
Technical Details
| heyting | stateset-nsr | pr4xis-runtime | |
|---|---|---|---|
| Version | 0.16.0 | 0.3.1 | 0.28.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | BUSL-1.1 | CC-BY-NC-SA-4.0 |
| Dependencies | 8 | 59 | 7 |
| Crate Size | 106KB | 1.1MB | 106KB |
| Features | 5 | 26 | 1 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2024 |
| MSRV | 1.89 | 1.75 | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •heyting leads with a health score of 55/100, but none of the options score above 80.