awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆889Updated last week
Alternatives and similar repositories for shuttle
Users that are interested in shuttle are comparing it to the libraries listed below
Sorting:
- Add hardship to your tests☆1,079Updated 3 weeks ago
- Magical Deterministic Simulator for distributed systems in Rust.☆998Updated last week
- Generating structured data from arbitrary, unstructured input.☆830Updated 3 weeks ago
- Heap profiling and ad hoc profiling for Rust programs.☆901Updated 9 months ago
- Concurrency permutation testing tool for Rust.☆2,534Updated 3 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆638Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,707Updated 3 weeks ago
- A lock-free, eventually consistent, concurrent multi-value map.☆541Updated 2 weeks ago
- Extremely fast tracing library for Rust☆750Updated last year
- A precise specification for "Rust lite / MIR plus"☆945Updated this week
- A better compressed bitset in Rust☆870Updated 2 months ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆837Updated 3 months ago
- An io_uring backed runtime for Rust☆1,374Updated 4 months ago
- Refinement Types for Rust☆798Updated this week
- Kani Rust Verifier☆2,758Updated last week
- A port of Java's ConcurrentHashMap to Rust☆569Updated 2 weeks ago
- safe bindings to io-uring☆678Updated 4 years ago
- The `io_uring` library for Rust☆1,531Updated last month
- A port of HdrHistogram to Rust☆332Updated last year
- Fast, efficient, and robust memory reclamation for Rust.☆456Updated 2 months ago
- lock-free B+ tree☆305Updated last year
- Experiments with structured concurrency in Rust☆394Updated last year
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆570Updated last month
- Creusot helps you prove your code is correct in an automated fashion.☆1,363Updated this week
- Comparison of Rust async and Linux thread context switch time.☆744Updated last year
- single file, std only, async Rust executor☆577Updated last year
- supply-chain security for Rust☆766Updated 2 months ago
- Easy self-referential struct generation for Rust.☆671Updated 10 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆492Updated last year
- garbage-collecting on-disk object store, supporting higher level KV stores and databases.☆409Updated last month