Decision Workspace
rtlola-frontend vs rtlola-parser vs rtlola-hir
Side-by-side comparison of Rust crates
42
rtlola-frontend
growingv0.8.0
A frontend for the RTLola runtime verification framework.
45
rtlola-parser
growingv0.4.0
A parser for RTLola specifications.
39
rtlola-hir
growingv0.6.0
A high-level intermediate representation for RTLola specifications.
Core Metrics
| rtlola-frontend | rtlola-parser | rtlola-hir | |
|---|---|---|---|
| Health Score | 42 | 45 | 39 |
| Total Downloads | 26.2K | 19.7K | 21.1K |
| 30d Downloads | 210 | 234 | 220 |
| Dependents | 21 | 26 | 13 |
| Releases | 17 | 11 | 13 |
| Last Updated | 316d ago | 316d ago | 316d ago |
| Age | 5y 8m | 4y 11m | 4y 11m |
Health Breakdown
rtlola-frontend
Maintenance
6
Quality
11
Community
11
Popularity
5
Documentation
9
rtlola-parser
Maintenance
7
Quality
13
Community
11
Popularity
5
Documentation
9
rtlola-hir
Maintenance
6
Quality
9
Community
10
Popularity
5
Documentation
9
Technical Details
| rtlola-frontend | rtlola-parser | rtlola-hir | |
|---|---|---|---|
| Version | 0.8.0 | 0.4.0 | 0.6.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 | Apache-2.0 | Apache-2.0 |
| Dependencies | 13 | 10 | 12 |
| Crate Size | 50KB | 53KB | 124KB |
| Features | 2 | 0 | 1 |
| Yanked % | 11.8% | 0.0% | 15.4% |
| Edition | 2018 | 2018 | 2018 |
| MSRV | — | — | — |
| Owners | 4 | 3 | 4 |
Links
Quick Verdict
- •rtlola-parser leads with a health score of 45/100, but none of the options score above 80.
- •rtlola-frontend has the most downloads (26.2K), suggesting wider adoption.