property testing and verification front-end for Rust
β235Feb 19, 2026Updated 2 weeks ago
Alternatives and similar repositories for bolero
Users that are interested in bolero are comparing it to the libraries listed below
Sorting:
- Generating structured data from arbitrary, unstructured input.β848Dec 16, 2025Updated 2 months ago
- Ultra-compact storage for collections of enums π±β23Sep 12, 2022Updated 3 years ago
- Kani Rust Verifierβ2,969Mar 2, 2026Updated last week
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functionsβ449Jan 22, 2026Updated last month
- Inject bugs and see if your tests catch them!β1,091Feb 24, 2026Updated 2 weeks ago
- drop-in replacement for libfuzzerβ72Aug 7, 2025Updated 7 months ago
- exhaustive testing libraryβ66Jul 29, 2024Updated last year
- Concurrency permutation testing tool for Rust.β2,616Feb 20, 2026Updated 2 weeks ago
- Hypothesis-like property testing for Rustβ2,066Feb 13, 2026Updated 3 weeks ago
- Command line helpers for fuzzingβ1,768Feb 10, 2026Updated 3 weeks ago
- A small test framework to write your own test harness that looks and behaves like the built-in test harness used by `rustc --test`β132Oct 5, 2024Updated last year
- A Rust toolkit to combine property-based testing and fuzzing.β137Aug 31, 2022Updated 3 years ago
- Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).β1,305Updated this week
- Scan your Rust crate for semver violations.β1,589Mar 2, 2026Updated last week
- supply-chain security for Rustβ795Feb 26, 2026Updated last week
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.β279Feb 12, 2022Updated 4 years ago
- Shuttle is a library for testing concurrent Rust codeβ942Feb 28, 2026Updated last week
- Cross-platform Rust wrappers for the PCI ID Repositoryβ11Oct 3, 2025Updated 5 months ago
- Use Tree Sitter to parse your own languages in Rustβ688Jun 18, 2025Updated 8 months ago
- π Collection of bugs uncovered by fuzzing Rust codeβ448Jan 25, 2026Updated last month
- Heap profiling and ad hoc profiling for Rust programs.β940Feb 20, 2025Updated last year
- Safe cross-platform linker shenanigansβ837Feb 19, 2026Updated 2 weeks ago
- Track and query Cargo dependency graphs.β258Feb 23, 2026Updated 2 weeks ago
- An efficient JSON Value parserβ76Dec 8, 2023Updated 2 years ago
- Automated property based testing for Rust (with shrinking).β2,712Feb 10, 2026Updated 3 weeks ago
- A next-generation test runner for Rust.β2,839Updated this week
- Rust mid-level IR Abstract Interpreterβ1,009Aug 22, 2024Updated last year
- Fast, efficient, and robust memory reclamation for Rust.β467Sep 13, 2025Updated 5 months ago
- Mocking and Unit test Framework for Rustβ33Aug 19, 2024Updated last year
- Add hardship to your testsβ1,130Feb 23, 2026Updated 2 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.β1,507Updated this week
- π Fuzzing Rust code with American Fuzzy Lopβ1,809Mar 2, 2026Updated last week
- Π procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementationβ88May 3, 2023Updated 2 years ago
- β13Jan 28, 2026Updated last month
- Derive macro for encoding/decoding instructions and operands as bytecodeβ15Mar 15, 2022Updated 3 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.β1,748Updated this week
- Safe, zero-cost downcasting for limited compile-time specialization.β181Aug 11, 2025Updated 6 months ago
- Cargo subcommand to provide various options useful for testing and continuous integration.β803Updated this week
- MΓΌsli is a flexible and efficient serialization frameworkβ428Updated this week