A requirements traceability tool
☆156Aug 26, 2026Updated this week
Alternatives and similar repositories for duvet
Users that are interested in duvet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Mar 30, 2026Updated 5 months ago
- A high-performance, asynchronous runtime-agnostic alternative to `tokio::watch`.☆15Aug 20, 2026Updated last week
- An asynchronous single-consumer single-producer pipe for bytes☆17Aug 11, 2026Updated 2 weeks ago
- property testing and verification front-end for Rust☆256Aug 11, 2026Updated 2 weeks ago
- ☆21Apr 13, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆25Aug 10, 2026Updated 3 weeks ago
- An Opinionated Formatter for Verus☆22Updated this week
- aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the pop…☆641Updated this week
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated 10 months ago
- [DEPRECATED] Cargo subcommand for running cargo without dev-dependencies.☆17May 30, 2026Updated 3 months ago
- ☆17Aug 26, 2025Updated last year
- An implementation of the DudeCT constant-time function tester☆30Mar 23, 2026Updated 5 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆116Jul 8, 2026Updated last month
- A lightweight version of pin-project written with declarative macros.☆279Jul 3, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Parse, manipulate, diff and patch HTML 📄☆20Jun 18, 2026Updated 2 months ago
- ☆227Updated this week
- Cross-platform, endian-aware primitives for Rust☆53Jul 10, 2026Updated last month
- A library for comparing data structures in Rust, oriented toward testing☆26Jun 19, 2026Updated 2 months ago
- An implementation of the IETF QUIC protocol☆1,368Updated this week
- ☆885Aug 13, 2026Updated 2 weeks ago
- Percas is a distributed PERsistent CAche Service.☆118Aug 22, 2026Updated last week
- madsim-inspired determinism for turmoil-based simulation tests☆57Feb 19, 2026Updated 6 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆481Sep 13, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…☆572Updated this week
- A Rust verification tool☆471Updated this week
- ☆17Jan 7, 2026Updated 7 months ago
- iron - P2P mesh network based on iroh☆24Updated this week
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆103Updated this week
- Routing Tables of Death - rtod - a kernel, routing protocol, and routing daemon stress testing tool☆20Nov 8, 2018Updated 7 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`☆144Mar 16, 2026Updated 5 months ago
- Verified Rust for low-level systems code☆2,898Updated this week
- Aws Crypto Abstraction Layer: Cross-Platform, C99 wrapper for cryptography primitives.☆44Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Manage lifecycle of rust services☆22Apr 7, 2026Updated 4 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- Integrates crashdump reporting with Sentry☆21Nov 15, 2023Updated 2 years ago
- ☆21Mar 9, 2025Updated last year
- A pure Rust library for cross-platform memory mapped IO, which replaces libc with rustix.☆42Jun 24, 2026Updated 2 months ago
- Sigstore implemented in Rust for Github v0.3 bundles☆24Updated this week
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆71Jun 11, 2026Updated 2 months ago