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,091Updated last week
• madsim-rs / madsim
  Magical Deterministic Simulator for distributed systems in Rust.
  ☆1,012Updated 3 weeks ago
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,548Updated 4 months ago
• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆835Updated last week
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,715Updated last month
• RoaringBitmap / roaring-rs
  A better compressed bitset in Rust
  ☆878Updated last week
• tikv / minitrace-rust
  Extremely fast tracing library for Rust
  ☆750Updated last year
• jonhoo / evmap
  A lock-free, eventually consistent, concurrent multi-value map.
  ☆543Updated last month
• nnethercote / dhat-rs
  Heap profiling and ad hoc profiling for Rust programs.
  ☆911Updated 10 months ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆642Updated last year
• ibraheemdev / papaya
  A fast and ergonomic concurrent hashmap for read-heavy workloads.
  ☆846Updated 4 months ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆947Updated last week
• flux-rs / flux
  Refinement Types for Rust
  ☆804Updated this week
• jonhoo / flurry
  A port of Java's ConcurrentHashMap to Rust
  ☆571Updated 3 weeks ago
• spacejam / rio
  pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
  ☆988Updated 3 years ago
• model-checking / kani
  Kani Rust Verifier
  ☆2,800Updated last week
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,381Updated this week
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆223Updated 2 weeks ago
• ringbahn / ringbahn
  safe bindings to io-uring
  ☆678Updated 4 years ago
• komora-io / marble
  garbage-collecting on-disk object store, supporting higher level KV stores and databases.
  ☆411Updated last month
• tokio-rs / tokio-uring
  An io_uring backed runtime for Rust
  ☆1,393Updated 5 months ago
• HdrHistogram / HdrHistogram_rust
  A port of HdrHistogram to Rust
  ☆336Updated last year
• sourcefrog / cargo-mutants
  Inject bugs and see if your tests catch them!
  ☆1,024Updated this week
• ibraheemdev / seize
  Fast, efficient, and robust memory reclamation for Rust.
  ☆459Updated 3 months ago
• komora-io / concurrent-map
  lock-free B+ tree
  ☆309Updated last year
• nikomatsakis / moro
  Experiments with structured concurrency in Rust
  ☆401Updated last year
• bearcove / loona
  HTTP 1+2 in Rust, with io_uring & ktls
  ☆440Updated 8 months ago
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆492Updated last year
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆731Updated 2 weeks ago
• someguynamedjosh / ouroboros
  Easy self-referential struct generation for Rust.
  ☆675Updated 11 months ago