PrototypeCommune
cedar-policy/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
- Propriétaire
- cedar-policy (organisation)
- Étoiles
- Étoiles : 220
- Forks
- Forks : 53
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de cedar-policy
Les 5 dépôts de cedar-policy- cedar-policy/cedarÉtoiles : 1 830RustBêta
- cedar-policy/cedar-goÉtoiles : 248GoPrototype
- cedar-policy/cedar-access-control-for-k8sÉtoiles : 149GoPrototype
- cedar-policy/cedar-examplesÉtoiles : 128RustPrototype
D’autres dépôts Lean
Tous les dépôts Lean- ShouqiaoW/erdosÉtoiles : 230LeanPrototype
- kbuzzard/xenaÉtoiles : 229LeanPrototype
- avigad/mathematics_in_lean_sourceÉtoiles : 223LeanPrototype
- openai/ten-proofsÉtoiles : 217LeanPrototype
- cmu-l3/llmleanÉtoiles : 216LeanPrototype
- Verified-zkEVM/cleanÉtoiles : 207LeanPrototype