PrototypeCommon
cedar-policy/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
- Owner
- cedar-policy (organization)
- Stars
- Stars: 220
- Forks
- Forks: 53
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by cedar-policy
All 5 repos by cedar-policy- cedar-policy/cedarStars: 1,834RustBeta
- cedar-policy/cedar-goStars: 248GoPrototype
- cedar-policy/cedar-access-control-for-k8sStars: 149GoPrototype
- cedar-policy/cedar-examplesStars: 128RustPrototype
Nearby in Lean
All Lean repos- ShouqiaoW/erdosStars: 230LeanPrototype
- kbuzzard/xenaStars: 229LeanPrototype
- avigad/mathematics_in_lean_sourceStars: 223LeanPrototype
- cmu-l3/llmleanStars: 217LeanPrototype
- openai/ten-proofsStars: 217LeanPrototype
- Verified-zkEVM/cleanStars: 207LeanPrototype