shaobo-he-aws

Pinned Repositories

bolero
property testing and verification front-end for Rust
Language:C169 4 7014
cedar
Implementation of the Cedar Policy Language
Language:Rust762 15 28763
cedar-awesome
A curated list of awesome Cedar related tools and articles.
42 11 05
cedar-examples
Some examples of using the Cedar language to specify authorization
Language:Rust55 8 2018
cedar-java
Java bindings for the Cedar language
Language:Java34 10 2316
cedar-spec
Definitional implementation of Cedar language and utilities for DRT
Language:Lean72 9 5610
dafny
Dafny is a verification-aware programming language
Language:C#2.8k 80 2.6k254
lalrpop
LR(1) parser generator for Rust
Language:Rust2.9k 35 413287
cedar
Core implementation of the Cedar language
Language:Rust00
cedar-examples
Some examples of using the Cedar language to specify authorization
Language:Rust00

shaobo-he-aws's Repositories

shaobo-he-aws/cedar
Core implementation of the Cedar language
Language:Rust00
shaobo-he-aws/cedar-examples
Some examples of using the Cedar language to specify authorization
Language:Rust00