awslabs / duvetLinks
A requirements traceability tool
☆76Updated last week
Alternatives and similar repositories for duvet
Users that are interested in duvet are comparing it to the libraries listed below
Sorting:
- Safer wrappers over ktls-sys☆79Updated last month
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆56Updated 3 weeks ago
- A routing stack written in Rust.☆49Updated this week
- An experimental Rust crate for sigstore☆190Updated last week
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆73Updated 3 months ago
- Serde serializer for generating Starlark build targets☆66Updated last month
- A certificate verification library for rustls that uses the operating system's verifier☆103Updated 2 weeks ago
- TLS parser written in rust with nom☆112Updated 5 months ago
- Use Rustls from any language☆147Updated this week
- madsim-inspired determinism for turmoil-based simulation tests☆43Updated 2 months ago
- Reusable packaging workflow for Rust projects☆26Updated this week
- Library and proc macro to analyze memory usage of data structures in rust.☆156Updated 3 weeks ago
- Rust library for SPIFFE support.☆25Updated last week
- A pure-Rust library to work with Linux capabilities☆87Updated 3 months ago
- Pure Rust implementation of Javascript Object Signing and Encryption (JOSE)☆62Updated 3 months ago
- The formally verified crypto library for Rust☆131Updated this week
- Ergonomic Type Diffs☆53Updated 2 months ago
- Implementation of DAP☆139Updated 2 months ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- A Rust library for the Linux Landlock sandboxing feature☆137Updated 3 weeks ago
- Rustls cryptography provider built on the pure Rust crates from the RustCrypto organization☆87Updated 6 months ago
- An extremely small and fast AWS Lambda runtime with sub-5ms cold starts. Works with C and Rust. I call it "the Lambda libc runtime" becau…☆62Updated 6 months ago
- A collection of types for writing custom SSH agents.☆27Updated 5 months ago
- A list of Rust buffers that implements the bytes::Buf trait.☆33Updated 2 years ago
- ☆150Updated last week
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆59Updated this week
- property testing and verification front-end for Rust☆209Updated last week
- A demo of using buck2 with Rust.☆21Updated 2 years ago
- An experimental toolkit for building telemetry data planes in Rust.☆21Updated this week
- A plugin for Criterion.rs to measure Linux perf events.☆43Updated last year