Stars
Prism support for Cedar policy language
highlight.js support for Cedar policy language
Cedar policy language extension for Visual Studio Code
Golang implementation of the Cedar Policy Language
Definitional implementation of Cedar language and utilities for DRT
Some examples of using the Cedar language to specify authorization
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
Mostly complete pure rust implementation of parsing llvm instrumentation profile data
Official AWS CodeBuild repository for managed Docker images http://docs.aws.amazon.com/codebuild/latest/userguide/build-env-ref.html
Rust tool to collect and aggregate code coverage data for multiple source files
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
Source code of Ferrocene, safety-critical Rust toolchain
Creusot helps you prove your code is correct in an automated fashion.
Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below
property testing and verification front-end for Rust
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
🦀 Small exercises to get you used to reading and writing Rust code!
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)