Decision Workspace
karpal-verify vs karpal-core vs karpal-profunctor
Side-by-side comparison of Rust crates
44
karpal-verify
experimentalv0.4.0
External prover bridge and trust model for the Industrial Algebra ecosystem
52
karpal-core
experimentalv0.5.0
HKT encoding, Functor, Semigroup, Monoid for the Industrial Algebra ecosystem
51
karpal-profunctor
experimentalv0.5.0
Profunctor hierarchy (Profunctor, Strong, Choice) for the Industrial Algebra ecosystem
Core Metrics
| karpal-verify | karpal-core | karpal-profunctor | |
|---|---|---|---|
| Health Score | 44 | 52 | 51 |
| Total Downloads | 51 | 520 | 256 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 1 | 36 | 10 |
| Releases | 1 | 5 | 5 |
| Last Updated | 62d ago | 2d ago | 2d ago |
| Age | 2m | 2m | 2m |
Health Breakdown
karpal-verify
Maintenance
9
Quality
16
Community
7
Popularity
2
Documentation
10
karpal-core
Maintenance
13
Quality
16
Community
10
Popularity
3
Documentation
10
karpal-profunctor
Maintenance
13
Quality
16
Community
9
Popularity
3
Documentation
10
Technical Details
| karpal-verify | karpal-core | karpal-profunctor | |
|---|---|---|---|
| Version | 0.4.0 | 0.5.0 | 0.5.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | AGPL-3.0-or-later | AGPL-3.0-or-later |
| Dependencies | 2 | 1 | 2 |
| Crate Size | 43KB | 39KB | 10KB |
| Features | 4 | 3 | 3 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2024 | 2024 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •karpal-core leads with a health score of 52/100, but none of the options score above 80.