awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆798Updated 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☆977Updated last week
- Concurrency permutation testing tool for Rust.☆2,352Updated last month
- Magical Deterministic Simulator for distributed systems in Rust.☆861Updated 4 months ago
- Generating structured data from arbitrary, unstructured input.☆785Updated last month
- An io_uring backed runtime for Rust☆1,257Updated 10 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆611Updated 9 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated 2 weeks ago
- Kani Rust Verifier☆2,557Updated this week
- Extremely fast tracing library for Rust☆747Updated 10 months ago
- Heap profiling and ad hoc profiling for Rust programs.☆795Updated 3 months ago
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- A better compressed bitset in Rust☆799Updated 3 weeks ago
- Hypothesis-like property testing for Rust☆1,880Updated last week
- Refinement Types for Rust☆738Updated this week
- The `io_uring` library for Rust☆1,377Updated last week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,480Updated last week
- Support atomic operations on Arc itself☆979Updated last month
- safe bindings to io-uring☆670Updated 3 years ago
- Rust mid-level IR Abstract Interpreter☆1,008Updated 9 months ago
- A metrics ecosystem for Rust.☆1,277Updated 2 weeks ago
- Easy self-referential struct generation for Rust.☆614Updated 4 months ago
- A fast bump allocation arena for Rust☆1,753Updated this week
- Rust port of simdjson☆1,255Updated 2 weeks ago
- Experiments with structured concurrency in Rust☆365Updated 10 months ago
- A port of HdrHistogram to Rust☆321Updated last year
- Fully typed LMDB wrappers with minimum overhead 🐦☆743Updated 3 weeks ago
- Command line helpers for fuzzing☆1,635Updated this week
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆730Updated 2 weeks ago
- A lock-free, eventually consistent, concurrent multi-value map.☆505Updated 3 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,272Updated last week