awslabs / duvetView external linksLinks
A requirements traceability tool
☆119Updated this week
Alternatives and similar repositories for duvet
Users that are interested in duvet are comparing it to the libraries listed below
Sorting:
- property testing and verification front-end for Rust☆229Jan 24, 2026Updated 3 weeks ago
- Collects build-information of your Rust crate☆23Jan 23, 2026Updated 3 weeks ago
- A lightweight version of pin-project written with declarative macros.☆270Updated this week
- A safe and easy way to run goroutines☆13Feb 3, 2023Updated 3 years ago
- automagically find peers interested in a topic + optional iroh-gossip integration☆23Feb 1, 2026Updated last week
- ☆12Aug 14, 2025Updated 6 months ago
- Advanced futures library☆16Feb 3, 2026Updated last week
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- An HTTP library based on compio and hyper.☆61Jan 30, 2026Updated 2 weeks ago
- Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast …☆61Jan 2, 2024Updated 2 years ago
- A small test framework to write your own test harness that looks and behaves like the built-in test harness used by `rustc --test`☆131Oct 5, 2024Updated last year
- PoC HTTP proxy for scale-to-zero apps via the Fly machines API☆15Nov 8, 2021Updated 4 years ago
- Network fault injection simulator☆21Jul 16, 2025Updated 6 months ago
- Syslog client written in Rust☆17May 7, 2025Updated 9 months ago
- An explicit closure with absolute seperation of the captured data from the function.☆37Jul 29, 2025Updated 6 months ago
- ☆834Jan 22, 2026Updated 3 weeks ago
- An implementation of the IETF QUIC protocol☆1,318Updated this week
- Rust serialize/deserialize/access reflection for trees (no_std, no alloc)☆30Updated this week
- Awesome list of tips and guides that just work ™️ hosting on Fly.io☆22Mar 4, 2024Updated last year
- Goodies for working with the xtask concept in Rust☆37Aug 1, 2024Updated last year
- A custom context for eyre that supports backtraces on stable☆15Mar 19, 2024Updated last year
- Image downsampler using a Lanczos filter implemented in ISPC☆15Feb 5, 2026Updated last week
- A Rust verification tool☆372Updated this week
- Simple BPF static linker☆267Updated this week
- CN separation logic refinement type system for C☆44Feb 3, 2026Updated last week
- Rust structs representing network-related types (on Layer 2, 3 and 4)☆64Updated this week
- An Opinionated Formatter for Verus☆16Updated this week
- zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed st…☆15Feb 7, 2026Updated last week
- Embassy HAL for NXP IMXRT MCU family☆23Jan 21, 2026Updated 3 weeks ago
- Transactional email for developers — Built in Europe 🇪🇺 🦀☆36Updated this week
- Fork of std::Arc with lots of utilities useful for FFI☆279Jan 22, 2026Updated 3 weeks ago
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆67Dec 11, 2025Updated 2 months ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37May 16, 2022Updated 3 years ago
- Rust implementation of the 7 GUI tasks by Eugen Kiss using Druid☆13Dec 27, 2020Updated 5 years ago
- Only argument parsing! Nothing more.☆18Feb 22, 2024Updated last year
- Extra event types built on top of rsevents☆17May 19, 2023Updated 2 years ago
- Prototype implementation of SwiftPaxos (NSDI 2024)☆22Updated this week
- garbage-collecting on-disk object store, supporting higher level KV stores and databases.☆413Nov 4, 2025Updated 3 months ago
- Build and evaluate binary expression trees☆38Sep 7, 2024Updated last year