Pinned Repositories
adpaco-aws.github.io
Personal webpage
aws-build-accumulator
Litani metabuild system
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
aws-encryption-sdk-c
AWS Encryption SDK for C
aws-verification-model-for-libcrypto
bolero
property testing and verification front-end for Rust
bytes
Utilities for working with bytes
cbmc
C Bounded Model Checker
cedar
Core implementation of the Cedar language
cedar-examples
Some examples of using the Cedar language to specify authorization
adpaco-aws's Repositories
adpaco-aws/adpaco-aws.github.io
Personal webpage
adpaco-aws/aws-build-accumulator
Litani metabuild system
adpaco-aws/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
adpaco-aws/aws-encryption-sdk-c
AWS Encryption SDK for C
adpaco-aws/aws-verification-model-for-libcrypto
adpaco-aws/bolero
property testing and verification front-end for Rust
adpaco-aws/bytes
Utilities for working with bytes
adpaco-aws/cbmc
C Bounded Model Checker
adpaco-aws/cedar
Core implementation of the Cedar language
adpaco-aws/firecracker
Secure and fast microVMs for serverless computing.
adpaco-aws/hifitime
A high fidelity time management library in Rust
adpaco-aws/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
adpaco-aws/kani-verifier-blog
adpaco-aws/print-something
adpaco-aws/interpreter
adpaco-aws/kani-vscode-extension
Kani VSCode Extension
adpaco-aws/lading
A suite of data generation and load testing tools
adpaco-aws/prost
PROST! a Protocol Buffers implementation for the Rust Language
adpaco-aws/rmc
adpaco-aws/rust
Empowering everyone to build reliable and efficient software.
adpaco-aws/rust-formal-methods.github.io
adpaco-aws/s2n
s2n : an implementation of the TLS/SSL protocols
adpaco-aws/s2n-quic
An implementation of the IETF QUIC protocol
adpaco-aws/this-week-in-rust
Data for this-week-in-rust.org