awslabs / shuttle
Shuttle is a library for testing concurrent Rust code
☆760Updated 2 weeks ago
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☆948Updated 2 weeks ago
- Generating structured data from arbitrary, unstructured input.☆751Updated last month
- Concurrency permutation testing tool for Rust.☆2,312Updated this week
- Experimental one-shot benchmarking/profiling harness for Rust☆603Updated 8 months ago
- A better compressed bitset in Rust☆789Updated 2 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,623Updated 3 weeks ago
- Heap profiling and ad hoc profiling for Rust programs.☆784Updated last month
- Magical Deterministic Simulator for distributed systems in Rust.☆824Updated 3 months ago
- Extremely fast tracing library for Rust☆744Updated 8 months ago
- Refinement Types for Rust☆719Updated this week
- A precise specification for "Rust lite / MIR plus"☆842Updated this week
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆700Updated last month
- Fast, efficient, and robust memory reclamation for Rust.☆410Updated 2 months ago
- Kani Rust Verifier☆2,524Updated this week
- A port of HdrHistogram to Rust☆320Updated last year
- property testing and verification front-end for Rust☆202Updated this week
- safe bindings to io-uring☆665Updated 3 years ago
- lock-free B+ tree☆287Updated 7 months ago
- Working group dedicated to improving the foundations of Async I/O in Rust☆385Updated 2 months ago
- Rust Memory Safety & Undefined Behavior Detection☆1,333Updated last year
- An io_uring backed runtime for Rust☆1,226Updated 8 months ago
- Fully typed LMDB wrappers with minimum overhead 🐦☆704Updated 2 weeks ago
- Rust mid-level IR Abstract Interpreter☆1,002Updated 7 months ago
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆951Updated 2 years ago
- Experiments with structured concurrency in Rust☆358Updated 8 months ago
- Statically detect memory, concurrency bugs and possible panic locations for Rust.☆522Updated 2 weeks ago
- A metrics ecosystem for Rust.☆1,240Updated this week
- Hypothesis-like property testing for Rust☆1,840Updated 3 weeks ago
- A lock-free, eventually consistent, concurrent multi-value map.☆502Updated 3 years ago
- supply-chain security for Rust☆705Updated 3 weeks ago