awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆859Updated 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,037Updated last month
- Magical Deterministic Simulator for distributed systems in Rust.☆957Updated last month
- Generating structured data from arbitrary, unstructured input.☆819Updated 3 weeks ago
- Heap profiling and ad hoc profiling for Rust programs.☆875Updated 6 months ago
- Extremely fast tracing library for Rust☆748Updated last year
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆794Updated last month
- A better compressed bitset in Rust☆836Updated last month
- A lock-free, eventually consistent, concurrent multi-value map.☆520Updated 4 years ago
- Experimental one-shot benchmarking/profiling harness for Rust☆626Updated last year
- Concurrency permutation testing tool for Rust.☆2,452Updated last month
- safe bindings to io-uring☆673Updated 4 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,675Updated this week
- An io_uring backed runtime for Rust☆1,320Updated 2 months ago
- A port of Java's ConcurrentHashMap to Rust☆562Updated last week
- A precise specification for "Rust lite / MIR plus"☆922Updated 2 weeks ago
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆977Updated 3 years ago
- Fast, efficient, and robust memory reclamation for Rust.☆434Updated 3 months ago
- property testing and verification front-end for Rust☆219Updated last 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…☆247Updated last week
- Refinement Types for Rust☆767Updated this week
- A port of HdrHistogram to Rust☆324Updated last year
- single file, std only, async Rust executor☆578Updated 11 months ago
- Experiments with structured concurrency in Rust☆385Updated last year
- garbage-collecting on-disk object store, supporting higher level KV stores and databases.☆402Updated 6 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆482Updated last year
- HTTP 1+2 in Rust, with io_uring & ktls☆427Updated 5 months ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆554Updated 3 months ago
- The `io_uring` library for Rust☆1,471Updated last week
- Fully typed LMDB wrappers with minimum overhead 🐦☆789Updated 2 weeks ago
- Kani Rust Verifier☆2,655Updated last week