Decision Workspace
cedar-policy-symcc vs cedar-policy vs cedar-policy-formatter
Side-by-side comparison of Rust crates
56
cedar-policy-symcc
experimentalv0.3.1
Symbolic Cedar Compiler (SymCC): translates queries about Cedar policies to SMT
75
cedar-policy
stablev4.9.1
Cedar is a language for defining permissions as policies, which describe who should have access to what.
74
cedar-policy-formatter
stablev4.9.1
Policy formatter for the Cedar Policy Language.
Core Metrics
| cedar-policy-symcc | cedar-policy | cedar-policy-formatter | |
|---|---|---|---|
| Health Score | 56 | 75 | 74 |
| Total Downloads | 228 | 4.3M | 3.0M |
| 30d Downloads | 36 | 722.4K | 659.7K |
| Dependents | 0 | 597 | 108 |
| Releases | 7 | 73 | 72 |
| Last Updated | 18d ago | 28d ago | 28d ago |
| Age | 4m | 2y 10m | 2y 10m |
Health Breakdown
cedar-policy-symcc
Maintenance
18
Quality
12
Community
11
Popularity
3
Documentation
12
cedar-policy
Maintenance
17
Quality
19
Community
19
Popularity
8
Documentation
12
cedar-policy-formatter
Maintenance
17
Quality
20
Community
17
Popularity
8
Documentation
12
Technical Details
| cedar-policy-symcc | cedar-policy | cedar-policy-formatter | |
|---|---|---|---|
| Version | 0.3.1 | 4.9.1 | 4.9.1 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✓ Yes |
| License | Apache-2.0 | Apache-2.0 | Apache-2.0 |
| Dependencies | 18 | 28 | 8 |
| Crate Size | 164KB | 183KB | 39KB |
| 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 75/100, but none of the options score above 80.
- •cedar-policy is depended on by 597 crates — strongest ecosystem trust.
- •cedar-policy-symcc is pre-1.0 — API may change.