Alternatives and similar repositories for proptest-stateful

Users that are interested in proptest-stateful are comparing it to the libraries listed below

• yoshuawuyts / heckcheck

  View on GitHub
  A heckin small test generator
  ☆30Apr 29, 2023Updated 2 years ago
• jkelleyrtp / cargo-easy-release

  View on GitHub
  A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io
  ☆14Feb 22, 2023Updated 2 years ago
• LoipesMas / cargo-select

  View on GitHub
  Cargo subcommand to easily run targets/examples
  ☆18Aug 24, 2022Updated 3 years ago
• aalowlevel / typestate-builder

  View on GitHub
  Derive-macro-based generator that combines `Typestate` and `Builder` patterns.
  ☆13Oct 4, 2025Updated 4 months ago
• rozbb / dudect-bencher

  View on GitHub
  An implementation of the DudeCT constant-time function tester
  ☆25Sep 18, 2023Updated 2 years ago
• informalsystems / hermes-sdk

  View on GitHub
  ☆51Nov 21, 2025Updated 2 months ago
• cutsea110 / simpledb

  View on GitHub
  Database Design and Implementation: Second Edition
  ☆20Updated this week
• willcrichton / indexical

  View on GitHub
  Human-friendly indexed collections
  ☆56Oct 17, 2025Updated 3 months ago
• navin-mohan / raytracer

  View on GitHub
  A basic raytracer implementation in Rust based on the Ray Tracing in One Weekend book.
  ☆21Oct 11, 2022Updated 3 years ago
• notgull / smol-axum

  View on GitHub
  `smol` integrations with `axum`
  ☆22Jul 30, 2025Updated 6 months ago
• rozbb / strobe-rs

  View on GitHub
  A Rust implementation of the Strobe protocol framework
  ☆27Feb 9, 2026Updated last week
• cbiffle / lilosdbg

  View on GitHub
  Prototype debugger for lilos
  ☆27Mar 5, 2025Updated 11 months ago
• namada-net / namada-indexer

  View on GitHub
  Namada indexer to be used in conjunction with the namada interface
  ☆49Dec 19, 2025Updated last month
• alec-deason / wasm_plugin

  View on GitHub
  A low-ish level tool for easily writing and hosting WASM based plugins.
  ☆71Mar 14, 2024Updated last year
• komora-io / ebr

  View on GitHub
  high-efficiency concurrent reclamation
  ☆38Aug 29, 2024Updated last year
• fan-tom / liquid-rust

  View on GitHub
  Liquid Types implementation for Rust
  ☆30Sep 30, 2022Updated 3 years ago
• con-kitty / categorifier

  View on GitHub
  Interpret Haskell programs into any cartesian closed category.
  ☆69Updated this week
• najamelan / async_executors

  View on GitHub
  Abstract over different executors
  ☆74Jul 22, 2023Updated 2 years ago
• tobyselway / bevy-autoplay

  View on GitHub
  Automated integration testing based on recorded play-testing sessions
  ☆30Jun 9, 2024Updated last year
• VivekPanyam / lunchbox

  View on GitHub
  An async virtual filesystem interface in Rust
  ☆37Sep 28, 2023Updated 2 years ago
• Zondax / namadexer

  View on GitHub
  Namada indexer
  ☆41May 6, 2024Updated last year
• google-marketing-solutions / ads-policy-monitor

  View on GitHub
  ☆16Mar 14, 2025Updated 11 months ago
• Noratrieb / my-binary-is-thicc-af

  View on GitHub
  Binary size analyzer for Rust programs
  ☆37Apr 26, 2024Updated last year
• polazarus / hipstr

  View on GitHub
  Yet another string type for Rust
  ☆92Jan 11, 2026Updated last month
• joaofl / quick-serve

  View on GitHub
  A zero-config, multi-platform, multi-protocol standalone server for a prompt file serving.
  ☆49Oct 21, 2025Updated 3 months ago
• phylaxsystems / phoundry

  View on GitHub
  A drop-in replacement for `dapp` and `seth` in Rust
  ☆10Updated this week
• raytheonbbn / landsar-sdk

  View on GitHub
  The motion model software development kit for the LandSAR search and rescue software platform
  ☆17Feb 3, 2026Updated last week
• fu-dietersheim / Blockchain

  View on GitHub
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Feb 3, 2018Updated 8 years ago
• zebreus / prolog-chess

  View on GitHub
  A simple minimax chess engine written in prolog
  ☆11May 8, 2023Updated 2 years ago
• audiobookroom / audiobookroom

  View on GitHub
  ☆11Apr 28, 2024Updated last year
• mdbecker / pydata_2013

  View on GitHub
  PyData Boston 2013 talks: "Intro to scikit-learn" & "Realtime Predictive Analytics: Using scikit-learn and RabbitMQ"
  ☆11Jan 5, 2014Updated 12 years ago
• yugr / uInit

  View on GitHub
  Instructions on obtaining stable benchmarks results on modern Linux distro
  ☆18Feb 5, 2026Updated last week
• Astroxia / AstralixiOS

  View on GitHub
  OFFICIAL & ORIGINAL ASTRALIXI OS REPOSITRY
  ☆19Nov 29, 2025Updated 2 months ago
• Champii / Comet

  View on GitHub
  Reactive Isomorphic FullStack Web Framework for Rust
  ☆42Apr 28, 2023Updated 2 years ago
• Summoner-Network / summoner-core

  View on GitHub
  Summoner's core SDK for building and deploying agents
  ☆13Feb 4, 2026Updated last week
• Kaesebrot84 / iris

  View on GitHub
  A cli tool that creates color palettes from images using the median cut algorithm.
  ☆43Nov 2, 2022Updated 3 years ago
• black-binary / snowstorm

  View on GitHub
  A minimalistic encryption protocol for rust async streams/packets, based on noise protocol and snow.
  ☆45May 20, 2022Updated 3 years ago
• rdaum / rart-rs

  View on GitHub
  An Adaptive Radix Tree implementation.
  ☆53Updated this week
• sharkdp / riffle

  View on GitHub
  A simple terminal pager (as a library)
  ☆45Feb 5, 2022Updated 4 years ago