Decision Workspace
pr4xis vs pr4xis-derive vs pr4xis-runtime
Side-by-side comparison of Rust crates
53
pr4xis
experimentalv0.28.0
Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
49
pr4xis-derive
experimentalv0.28.0
Derive macros for pr4xis ontology traits
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
| pr4xis | pr4xis-derive | pr4xis-runtime | |
|---|---|---|---|
| Health Score | 53 | 49 | 45 |
| Total Downloads | 432 | 487 | 265 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 19 | 15 | 4 |
| Releases | 17 | 15 | 13 |
| Last Updated | 3d ago | 3d ago | 3d ago |
| Age | 3m | 3m | 1m |
Health Breakdown
pr4xis
Maintenance
19
Quality
13
Community
10
Popularity
3
Documentation
8
pr4xis-derive
Maintenance
19
Quality
13
Community
6
Popularity
3
Documentation
8
pr4xis-runtime
Maintenance
13
Quality
13
Community
8
Popularity
3
Documentation
8
Technical Details
| pr4xis | pr4xis-derive | pr4xis-runtime | |
|---|---|---|---|
| Version | 0.28.0 | 0.28.0 | 0.28.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | CC-BY-NC-SA-4.0 | CC-BY-NC-SA-4.0 | CC-BY-NC-SA-4.0 |
| Dependencies | 8 | 4 | 7 |
| Crate Size | 247KB | 16KB | 106KB |
| Features | 3 | 0 | 1 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2024 | 2024 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •pr4xis leads with a health score of 53/100, but none of the options score above 80.
- •pr4xis-derive has the most downloads (487), suggesting wider adoption.