Decision Workspace
haybale-pitchfork vs haybale vs good_lp
Side-by-side comparison of Rust crates
41
haybale-pitchfork
growingv0.4.1
Verifying constant-time code with symbolic execution
44
haybale
growingv0.7.2
Symbolic execution of LLVM IR, written in Rust
77
good_lp
stablev1.15.0
Mixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
Core Metrics
| haybale-pitchfork | haybale | good_lp | |
|---|---|---|---|
| Health Score | 41 | 44 | 77 |
| Total Downloads | 8.4K | 27.6K | 2.7M |
| 30d Downloads | 9 | 65 | 229.2K |
| Dependents | 0 | 6 | 255 |
| Releases | 6 | 20 | 60 |
| Last Updated | 1614d ago | 883d ago | 36d ago |
| Age | 6y 1m | 6y 4m | 5y 1m |
Health Breakdown
haybale-pitchfork
Maintenance
4
Quality
17
Community
3
Popularity
5
Documentation
12
haybale
Maintenance
6
Quality
16
Community
5
Popularity
5
Documentation
12
good_lp
Maintenance
17
Quality
21
Community
18
Popularity
8
Documentation
13
Technical Details
| haybale-pitchfork | haybale | good_lp | |
|---|---|---|---|
| Version | 0.4.1 | 0.7.2 | 1.15.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✓ Yes |
| License | MIT | MIT | MIT |
| Dependencies | 13 | 10 | 12 |
| Crate Size | 78KB | 255KB | 67KB |
| Features | 23 | 25 | 6 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2018 | 2018 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 2 (team) |
Links
Quick Verdict
- •good_lp leads with a health score of 77/100, but none of the options score above 80.
- •good_lp is depended on by 255 crates — strongest ecosystem trust.
- •⚠ haybale-pitchfork, haybale have not been updated in over a year.
- •haybale-pitchfork, haybale are pre-1.0 — API may change.