Decision Workspace
cedar-policy-symcc vs cedar-policy vs cedar-policy-formatter
Side-by-side comparison of Rust crates
61
cedar-policy-symcc
experimentalv0.5.0
Symbolic Cedar Compiler (SymCC): translates queries about Cedar policies to SMT
77
cedar-policy
stablev4.11.0
Cedar is a language for defining permissions as policies, which describe who should have access to what.
76
cedar-policy-formatter
stablev4.11.0
Policy formatter for the Cedar Policy Language.
Core Metrics
| cedar-policy-symcc | cedar-policy | cedar-policy-formatter | |
|---|---|---|---|
| Health Score | 61 | 77 | 76 |
| Total Downloads | 3.0K | 5.3M | 3.8M |
| 30d Downloads | 2.5K | 615.4K | 545.5K |
| Dependents | 3 | 687 | 112 |
| Releases | 12 | 75 | 74 |
| Last Updated | 7d ago | 7d ago | 7d ago |
| Age | 6m | 3y | 3y |
Health Breakdown
cedar-policy-symcc
Maintenance
20
Quality
12
Community
13
Popularity
4
Documentation
12
cedar-policy
Maintenance
19
Quality
19
Community
19
Popularity
8
Documentation
12
cedar-policy-formatter
Maintenance
19
Quality
20
Community
17
Popularity
8
Documentation
12
Technical Details
| cedar-policy-symcc | cedar-policy | cedar-policy-formatter | |
|---|---|---|---|
| Version | 0.5.0 | 4.11.0 | 4.11.0 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✓ Yes |
| License | Apache-2.0 | Apache-2.0 | Apache-2.0 |
| Dependencies | 18 | 28 | 8 |
| Crate Size | 167KB | 213KB | 38KB |
| Features | 2 | 18 | 2 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.89 | 1.89 | 1.89 |
| Owners | 6 (team) | 7 (team) | 7 (team) |
Links
Quick Verdict
- •cedar-policy leads with a health score of 77/100, but none of the options score above 80.
- •cedar-policy is depended on by 687 crates — strongest ecosystem trust.
- •cedar-policy-symcc is pre-1.0 — API may change.