Decision Workspace
foras vs memvid-ask-model vs mistralrs
Side-by-side comparison of Rust crates
42
foras
experimentalv0.4.0
foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
63
memvid-ask-model
growingv2.0.139
LLM inference module for Memvid Q&A with local and cloud model support
61
mistralrs
experimentalv0.8.1
Fast, flexible LLM inference.
Core Metrics
| foras | memvid-ask-model | mistralrs | |
|---|---|---|---|
| Health Score | 42 | 63 | 61 |
| Total Downloads | 233 | 877 | 43.1K |
| 30d Downloads | 0 | 0 | 19.9K |
| Dependents | 0 | 25 | 132 |
| Releases | 2 | 27 | 5 |
| Last Updated | 115d ago | 73d ago | 53d ago |
| Age | 7m | 6m | 3m |
Health Breakdown
foras
Maintenance
11
Quality
12
Community
3
Popularity
3
Documentation
13
memvid-ask-model
Maintenance
16
Quality
18
Community
10
Popularity
4
Documentation
15
mistralrs
Maintenance
15
Quality
13
Community
12
Popularity
6
Documentation
15
Technical Details
| foras | memvid-ask-model | mistralrs | |
|---|---|---|---|
| Version | 0.4.0 | 2.0.139 | 0.8.1 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✗ No |
| License | MIT | Apache-2.0 | MIT |
| Dependencies | 6 | 9 | 20 |
| Crate Size | 124KB | 53KB | 111KB |
| Features | 0 | 2 | 8 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2024 | 2024 | 2021 |
| MSRV | — | 1.85.0 | 1.88 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •memvid-ask-model leads with a health score of 63/100, but none of the options score above 80.
- •mistralrs has the most downloads (43.1K), suggesting wider adoption.
- •mistralrs is depended on by 132 crates — strongest ecosystem trust.
- •foras, mistralrs are pre-1.0 — API may change.