Alternatives and similar repositories for shuttle

Users that are interested in shuttle are comparing it to the libraries listed below

• tokio-rs / turmoil
  Add hardship to your tests
  ☆1,058Updated this week
• madsim-rs / madsim
  Magical Deterministic Simulator for distributed systems in Rust.
  ☆977Updated 2 weeks ago
• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆825Updated 2 months ago
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,688Updated 3 weeks ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,496Updated 2 months ago
• nnethercote / dhat-rs
  Heap profiling and ad hoc profiling for Rust programs.
  ☆887Updated 8 months ago
• ibraheemdev / papaya
  A fast and ergonomic concurrent hashmap for read-heavy workloads.
  ☆818Updated 2 months ago
• RoaringBitmap / roaring-rs
  A better compressed bitset in Rust
  ☆857Updated last month
• flux-rs / flux
  Refinement Types for Rust
  ☆783Updated this week
• tikv / minitrace-rust
  Extremely fast tracing library for Rust
  ☆750Updated last year
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆937Updated last month
• grahamking / perf-ninja-rs
  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
• model-checking / kani
  Kani Rust Verifier
  ☆2,712Updated this week
• jonhoo / evmap
  A lock-free, eventually consistent, concurrent multi-value map.
  ☆532Updated last week
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,342Updated last week
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆218Updated last month
• spacejam / rio
  pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
  ☆979Updated 3 years ago
• HdrHistogram / HdrHistogram_rust
  A port of HdrHistogram to Rust
  ☆326Updated last year
• tokio-rs / tokio-uring
  An io_uring backed runtime for Rust
  ☆1,339Updated 3 months ago
• tokio-rs / io-uring
  The `io_uring` library for Rust
  ☆1,505Updated last week
• ringbahn / ringbahn
  safe bindings to io-uring
  ☆676Updated 4 years ago
• jonhoo / flurry
  A port of Java's ConcurrentHashMap to Rust
  ☆566Updated 3 weeks ago
• fitzgen / bumpalo
  A fast bump allocation arena for Rust
  ☆1,917Updated 4 months ago
• jimblandy / context-switch
  Comparison of Rust async and Linux thread context switch time.
  ☆734Updated 11 months ago
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆715Updated 6 months ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,712Updated 2 months ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆296Updated last week
• nikomatsakis / moro
  Experiments with structured concurrency in Rust
  ☆390Updated last year
• komora-io / marble
  garbage-collecting on-disk object store, supporting higher level KV stores and databases.
  ☆406Updated 7 months ago
• BurtonQin / lockbud
  Detect concurrency and memory bugs and possible panic locations in Rust projects
  ☆556Updated 3 weeks ago