awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆931Updated 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,114Updated last week
- Magical Deterministic Simulator for distributed systems in Rust.☆1,038Updated this week
- Concurrency permutation testing tool for Rust.☆2,592Updated 3 weeks ago
- Heap profiling and ad hoc profiling for Rust programs.☆934Updated 11 months ago
- Generating structured data from arbitrary, unstructured input.☆846Updated last month
- Experimental one-shot benchmarking/profiling harness for Rust☆644Updated last year
- A better compressed bitset in Rust☆895Updated 3 weeks ago
- Extremely fast tracing library for Rust☆751Updated last year
- safe bindings to io-uring☆682Updated 4 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,731Updated last week
- A lock-free, eventually consistent, concurrent multi-value map.☆549Updated last week
- Refinement Types for Rust☆825Updated this week
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆870Updated 6 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆465Updated 4 months ago
- A precise specification for "Rust lite / MIR plus"☆960Updated last week
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆993Updated 3 years ago
- A port of Java's ConcurrentHashMap to Rust☆574Updated 2 months ago
- lock-free B+ tree☆309Updated last year
- An io_uring backed runtime for Rust☆1,423Updated 7 months ago
- Working group dedicated to improving the foundations of Async I/O in Rust☆397Updated 7 months ago
- A port of HdrHistogram to Rust☆338Updated last year
- Experiments with structured concurrency in Rust☆410Updated last year
- property testing and verification front-end for Rust☆227Updated 2 weeks ago
- Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…☆262Updated 5 months ago
- Fully typed LMDB wrappers with minimum overhead 🐦☆853Updated last month
- Capability-oriented version of the Rust standard library☆744Updated 2 weeks ago
- Easy self-referential struct generation for Rust.☆691Updated last year
- Defines the Rust borrow checker.☆1,578Updated 8 months ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆583Updated 3 months ago
- HTTP 1+2 in Rust, with io_uring & ktls☆445Updated this week