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…

Prism support for Cedar policy language

highlight.js support for Cedar policy language

Cedar policy language extension for Visual Studio Code

Java bindings for the Cedar language

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

Documentation for Cedar policy language

RFCs for Cedar

Implementation of the Cedar Policy Language

Verified Rust for low-level systems code

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.

Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

Kani VSCode Extension

property testing and verification front-end for Rust

The Gillian Platform main repository

🦀 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)

Kani Rust Verifier

Easy, light, flexible tree view made with React.

C Bounded Model Checker