awslabs / shuttle
Shuttle is a library for testing concurrent Rust code
☆740Updated last week
Alternatives and similar repositories for shuttle:
Users that are interested in shuttle are comparing it to the libraries listed below
- Add hardship to your tests☆898Updated last week
- Concurrency permutation testing tool for Rust.☆2,260Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,605Updated 4 months ago
- Generating structured data from arbitrary, unstructured input.☆745Updated last month
- Heap profiling and ad hoc profiling for Rust programs.☆768Updated 6 months ago
- Magical Deterministic Simulator for distributed systems in Rust.☆751Updated last month
- Experimental one-shot benchmarking/profiling harness for Rust☆602Updated 6 months ago
- An io_uring backed runtime for Rust☆1,191Updated 6 months ago
- Refinement Types for Rust☆687Updated this week
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆945Updated 2 years ago
- Kani Rust Verifier☆2,386Updated this week
- A precise specification for "Rust lite / MIR plus"☆837Updated last month
- The `io_uring` library for Rust☆1,276Updated this week
- safe bindings to io-uring☆662Updated 3 years ago
- A metrics ecosystem for Rust.☆1,202Updated this week
- Extremely fast tracing library for Rust☆741Updated 6 months ago
- Capability-oriented version of the Rust standard library☆673Updated 3 weeks ago
- Hypothesis-like property testing for Rust☆1,798Updated 2 weeks ago
- Fast, efficient, and robust memory reclamation for Rust.☆404Updated this week
- A minimal `syn` syntax tree pretty-printer☆667Updated last week
- Utilities for collecting metrics from a Tokio application☆320Updated 2 months ago
- Working group dedicated to improving the foundations of Async I/O in Rust☆385Updated last week
- A lock-free, eventually consistent, concurrent multi-value map.☆493Updated 3 years ago
- lock-free B+ tree☆282Updated 5 months ago
- A fast bump allocation arena for Rust☆1,565Updated 3 weeks ago
- A better compressed bitset in Rust☆780Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,204Updated this week
- A port of HdrHistogram to Rust☆313Updated 11 months ago
- single file, std only, async Rust executor☆552Updated 4 months ago
- Statically detect memory, concurrency bugs and possible panic locations for Rust.☆505Updated last month