Adrian Palacios's 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
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
firecracker
Secure and fast microVMs for serverless computing.
hifitime
A high fidelity time management library in Rust
kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
kani-vscode-extension
Kani VSCode Extension
lading
A suite of data generation and load testing tools
prost
PROST! a Protocol Buffers implementation for the Rust Language
rust
Empowering everyone to build reliable and efficient software.
s2n
s2n : an implementation of the TLS/SSL protocols
s2n-quic
An implementation of the IETF QUIC protocol
this-week-in-rust
Data for this-week-in-rust.org