awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆870Updated 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,046Updated 2 months ago
- Magical Deterministic Simulator for distributed systems in Rust.☆968Updated 2 months ago
- Concurrency permutation testing tool for Rust.☆2,471Updated last month
- Generating structured data from arbitrary, unstructured input.☆824Updated last month
- Heap profiling and ad hoc profiling for Rust programs.☆881Updated 7 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,681Updated 2 weeks ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆808Updated last month
- Experimental one-shot benchmarking/profiling harness for Rust☆626Updated last year
- A lock-free, eventually consistent, concurrent multi-value map.☆527Updated 4 years ago
- A better compressed bitset in Rust☆844Updated 2 weeks ago
- Extremely fast tracing library for Rust☆749Updated last year
- A precise specification for "Rust lite / MIR plus"☆935Updated 2 weeks ago
- Refinement Types for Rust☆772Updated this week
- Comparison of Rust async and Linux thread context switch time.☆735Updated 10 months ago
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆979Updated 3 years ago
- An io_uring backed runtime for Rust☆1,329Updated 2 months 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 …☆247Updated 3 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,334Updated this week
- Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.☆587Updated 9 months ago
- Kani Rust Verifier☆2,686Updated this week
- The `io_uring` library for Rust☆1,487Updated last week
- safe bindings to io-uring☆675Updated 4 years ago
- A port of Java's ConcurrentHashMap to Rust☆565Updated this week
- A port of HdrHistogram to Rust☆324Updated last year
- supply-chain security for Rust☆759Updated last week
- HTTP 1+2 in Rust, with io_uring & ktls☆429Updated 5 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆448Updated 3 weeks ago
- Capability-oriented version of the Rust standard library☆714Updated 5 months ago
- Fully typed LMDB wrappers with minimum overhead 🐦☆800Updated this week
- Experiments with structured concurrency in Rust☆385Updated last year