Stars
🦀 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)
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
A static verifier for Rust, based on the Viper verification infrastructure.
Source code of Ferrocene, safety-critical Rust toolchain
Creusot helps you prove your code is correct in an automated fashion.
Implementation of the Cedar Policy Language
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).
Official AWS CodeBuild repository for managed Docker images http://docs.aws.amazon.com/codebuild/latest/userguide/build-env-ref.html
Easy, light, flexible tree view made with React.
Crucible is a library for symbolic simulation of imperative programs
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
IAM Policy Autopilot is an open source static code analysis tool that helps you quickly create baseline AWS IAM policies that you can refine as your application evolves. This tool is available as a…
property testing and verification front-end for Rust
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
The CBMC starter kit makes it easy to add CBMC verification to a software project.
Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.