awslabs / shuttle
Shuttle is a library for testing concurrent Rust code
☆749Updated this 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☆919Updated last week
- Concurrency permutation testing tool for Rust.☆2,289Updated last month
- Heap profiling and ad hoc profiling for Rust programs.☆781Updated last month
- Magical Deterministic Simulator for distributed systems in Rust.☆769Updated 2 months ago
- Generating structured data from arbitrary, unstructured input.☆747Updated 2 weeks ago
- Experimental one-shot benchmarking/profiling harness for Rust☆602Updated 7 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,617Updated last week
- An io_uring backed runtime for Rust☆1,216Updated 7 months ago
- A Rust CPU profiler implemented with the help of backtrace-rs☆1,408Updated 4 months ago
- Extremely fast tracing library for Rust☆740Updated 8 months ago
- A lock-free, eventually consistent, concurrent multi-value map.☆497Updated 3 years ago
- Kani Rust Verifier☆2,476Updated this week
- Refinement Types for Rust☆706Updated this week
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆948Updated 2 years ago
- Rust mid-level IR Abstract Interpreter☆1,001Updated 7 months ago
- Hypothesis-like property testing for Rust☆1,827Updated last week
- The `io_uring` library for Rust☆1,303Updated last month
- A metrics ecosystem for Rust.☆1,226Updated last week
- A port of HdrHistogram to Rust☆319Updated last year
- Support atomic operations on Arc itself☆914Updated last week
- Fast, efficient, and robust memory reclamation for Rust.☆408Updated last month
- A fast bump allocation arena for Rust☆1,630Updated last month
- Statically detect memory, concurrency bugs and possible panic locations for Rust.☆513Updated last month
- Working group dedicated to improving the foundations of Async I/O in Rust☆385Updated last month
- supply-chain security for Rust☆700Updated last week
- A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications☆1,520Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,283Updated this week
- safe bindings to io-uring☆664Updated 3 years ago
- Inject bugs and see if your tests catch them!☆685Updated 3 weeks ago
- A Rust port of FlameGraph☆1,796Updated last week