awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆841Updated this 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,022Updated 3 weeks ago
- Magical Deterministic Simulator for distributed systems in Rust.☆948Updated 3 weeks ago
- Concurrency permutation testing tool for Rust.☆2,441Updated last week
- Heap profiling and ad hoc profiling for Rust programs.☆871Updated 6 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆621Updated last year
- Generating structured data from arbitrary, unstructured input.☆815Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,666Updated last week
- A lock-free, eventually consistent, concurrent multi-value map.☆517Updated 4 years ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆790Updated 2 weeks ago
- An io_uring backed runtime for Rust☆1,313Updated last month
- Extremely fast tracing library for Rust☆750Updated last year
- safe bindings to io-uring☆673Updated 4 years ago
- A precise specification for "Rust lite / MIR plus"☆919Updated last month
- Kani Rust Verifier☆2,632Updated this week
- Refinement Types for Rust☆759Updated this week
- Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…☆244Updated 5 months ago
- The `io_uring` library for Rust☆1,451Updated this week
- A port of HdrHistogram to Rust☆324Updated last year
- A better compressed bitset in Rust☆824Updated 3 weeks ago
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆972Updated 3 years ago
- property testing and verification front-end for Rust☆216Updated last week
- Rust Memory Safety & Undefined Behavior Detection☆1,346Updated last year
- A fast bump allocation arena for Rust☆1,855Updated 2 months ago
- Comparison of Rust async and Linux thread context switch time.☆733Updated 9 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆431Updated 2 months ago
- Working group dedicated to improving the foundations of Async I/O in Rust☆396Updated 2 months ago
- HTTP 1+2 in Rust, with io_uring & ktls☆420Updated 4 months ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆552Updated 2 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,316Updated last week
- Inject bugs and see if your tests catch them!☆956Updated 2 weeks ago