Decision Workspace
citreelo vs wasmcloud-control-interface vs kani-verifier
Side-by-side comparison of Rust crates
44
citreelo
experimentalv0.1.1
A simple BDD-based symbolic model checker for Computational Tree Logic
66
wasmcloud-control-interface
stablev3.0.1
A client library for communicating with hosts on a wasmCloud lattice
65
kani-verifier
growingv0.67.0
A bit-precise model checker for Rust.
Core Metrics
| citreelo | wasmcloud-control-interface | kani-verifier | |
|---|---|---|---|
| Health Score | 44 | 66 | 65 |
| Total Downloads | 516 | 217.0K | 310.8K |
| 30d Downloads | 43 | 2.5K | 19.5K |
| Dependents | 8 | 231 | 116 |
| Releases | 3 | 63 | 69 |
| Last Updated | 117d ago | 57d ago | 70d ago |
| Age | 5m | 5y 1m | 4y 2m |
Health Breakdown
citreelo
Maintenance
13
Quality
13
Community
5
Popularity
3
Documentation
10
wasmcloud-control-interface
Maintenance
16
Quality
15
Community
16
Popularity
6
Documentation
13
kani-verifier
Maintenance
16
Quality
14
Community
15
Popularity
7
Documentation
13
Technical Details
| citreelo | wasmcloud-control-interface | kani-verifier | |
|---|---|---|---|
| Version | 0.1.1 | 3.0.1 | 0.67.0 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✗ No |
| License | Apache-2.0 | Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 4 | 12 | 3 |
| Crate Size | 31KB | 52KB | 29KB |
| Features | 0 | 0 | 0 |
| Yanked % | 0.0% | 7.9% | 1.5% |
| Edition | 2024 | 2021 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 3 | 4 (team) |
Links
Quick Verdict
- •wasmcloud-control-interface leads with a health score of 66/100, but none of the options score above 80.
- •kani-verifier has the most downloads (310.8K), suggesting wider adoption.
- •wasmcloud-control-interface is depended on by 231 crates — strongest ecosystem trust.
- •citreelo, kani-verifier are pre-1.0 — API may change.