awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆835Updated 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,012Updated this week
- Magical Deterministic Simulator for distributed systems in Rust.☆921Updated this week
- Generating structured data from arbitrary, unstructured input.☆798Updated this week
- Heap profiling and ad hoc profiling for Rust programs.☆864Updated 5 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆620Updated 11 months ago
- A lock-free, eventually consistent, concurrent multi-value map.☆515Updated 4 years ago
- Concurrency permutation testing tool for Rust.☆2,424Updated 3 months ago
- Extremely fast tracing library for Rust☆750Updated last year
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆771Updated last week
- safe bindings to io-uring☆671Updated 4 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,664Updated last week
- A better compressed bitset in Rust☆818Updated last week
- An io_uring backed runtime for Rust☆1,290Updated 3 weeks ago
- Fast, efficient, and robust memory reclamation for Rust.☆429Updated last month
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆971Updated 3 years ago
- property testing and verification front-end for Rust☆213Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆914Updated last week
- A port of Java's ConcurrentHashMap to Rust☆560Updated 2 months ago
- A port of HdrHistogram to Rust☆323Updated last year
- Refinement Types for Rust☆753Updated 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…☆243Updated 4 months ago
- lock-free B+ tree☆293Updated 10 months ago
- Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.☆564Updated 7 months ago
- Comparison of Rust async and Linux thread context switch time.☆735Updated 8 months ago
- Experiments with structured concurrency in Rust☆375Updated last year
- Kani Rust Verifier☆2,620Updated this week
- A Rust CPU profiler implemented with the help of backtrace-rs☆1,498Updated this week
- Working group dedicated to improving the foundations of Async I/O in Rust☆395Updated last month
- The `io_uring` library for Rust☆1,426Updated last week
- garbage-collecting on-disk object store, supporting higher level KV stores and databases.☆401Updated 5 months ago