awslabs / shuttleLinks
Shuttle is a library for testing concurrent Rust code
☆871Updated 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,058Updated this week
- Magical Deterministic Simulator for distributed systems in Rust.☆977Updated 2 weeks ago
- Generating structured data from arbitrary, unstructured input.☆825Updated 2 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,688Updated 3 weeks ago
- Concurrency permutation testing tool for Rust.☆2,496Updated 2 months ago
- Heap profiling and ad hoc profiling for Rust programs.☆887Updated 8 months ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆818Updated 2 months ago
- A better compressed bitset in Rust☆857Updated last month
- Refinement Types for Rust☆783Updated this week
- Extremely fast tracing library for Rust☆750Updated last year
- A precise specification for "Rust lite / MIR plus"☆937Updated last month
- Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…☆249Updated last month
- Kani Rust Verifier☆2,712Updated this week
- A lock-free, eventually consistent, concurrent multi-value map.☆532Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,342Updated last week
- property testing and verification front-end for Rust☆218Updated last month
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆979Updated 3 years ago
- A port of HdrHistogram to Rust☆326Updated last year
- An io_uring backed runtime for Rust☆1,339Updated 3 months ago
- The `io_uring` library for Rust☆1,505Updated last week
- safe bindings to io-uring☆676Updated 4 years ago
- A port of Java's ConcurrentHashMap to Rust☆566Updated 3 weeks ago
- A fast bump allocation arena for Rust☆1,917Updated 4 months ago
- Comparison of Rust async and Linux thread context switch time.☆734Updated 11 months ago
- Capability-oriented version of the Rust standard library☆715Updated 6 months ago
- A model checker for implementing distributed systems.☆1,712Updated 2 months ago
- Verifying the Rust standard library☆296Updated last week
- Experiments with structured concurrency in Rust☆390Updated last year
- garbage-collecting on-disk object store, supporting higher level KV stores and databases.☆406Updated 7 months ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆556Updated 3 weeks ago