camshaft / boleroView external linksLinks
property testing and verification front-end for Rust
β229Jan 24, 2026Updated 3 weeks ago
Alternatives and similar repositories for bolero
Users that are interested in bolero are comparing it to the libraries listed below
Sorting:
- Ultra-compact storage for collections of enums π±β23Sep 12, 2022Updated 3 years ago
- Generating structured data from arbitrary, unstructured input.β848Dec 16, 2025Updated 2 months ago
- Kani Rust Verifierβ2,903Updated this week
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functionsβ449Jan 22, 2026Updated 3 weeks ago
- Inject bugs and see if your tests catch them!β1,076Updated this week
- drop-in replacement for libfuzzerβ72Aug 7, 2025Updated 6 months ago
- exhaustive testing libraryβ66Jul 29, 2024Updated last year
- Concurrency permutation testing tool for Rust.β2,600Jan 12, 2026Updated last month
- Command line helpers for fuzzingβ1,754Jan 27, 2026Updated 2 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`β131Oct 5, 2024Updated last year
- A Rust toolkit to combine property-based testing and fuzzing.β137Aug 31, 2022Updated 3 years ago
- Hypothesis-like property testing for Rustβ2,042Updated this week
- Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).β1,281Updated this week
- Scan your Rust crate for semver violations.β1,581Updated this week
- supply-chain security for Rustβ793Jan 13, 2026Updated last month
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.β277Feb 12, 2022Updated 4 years ago
- Cross-platform Rust wrappers for the PCI ID Repositoryβ11Oct 3, 2025Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rustβ688Jun 18, 2025Updated 7 months ago
- π Collection of bugs uncovered by fuzzing Rust codeβ447Jan 25, 2026Updated 3 weeks ago
- Heap profiling and ad hoc profiling for Rust programs.β935Feb 20, 2025Updated 11 months ago
- Shuttle is a library for testing concurrent Rust codeβ934Feb 4, 2026Updated last week
- Safe cross-platform linker shenanigansβ832Feb 8, 2026Updated last week
- Track and query Cargo dependency graphs.β254Updated this week
- An efficient JSON Value parserβ76Dec 8, 2023Updated 2 years ago
- A next-generation test runner for Rust.β2,816Updated this week
- Fast, efficient, and robust memory reclamation for Rust.β465Sep 13, 2025Updated 5 months ago
- Automated property based testing for Rust (with shrinking).β2,691May 5, 2025Updated 9 months ago
- Mocking and Unit test Framework for Rustβ33Aug 19, 2024Updated last year
- π Fuzzing Rust code with American Fuzzy Lopβ1,802Feb 9, 2026Updated last week
- Rust mid-level IR Abstract Interpreterβ1,010Aug 22, 2024Updated last year
- Π procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementationβ88May 3, 2023Updated 2 years ago
- Derive macro for encoding/decoding instructions and operands as bytecodeβ15Mar 15, 2022Updated 3 years ago
- β13Jan 28, 2026Updated 2 weeks ago
- MΓΌsli is a flexible and efficient serialization frameworkβ425Dec 28, 2025Updated last month
- 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.β800Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier β¦β3,503Apr 29, 2025Updated 9 months ago
- Creusot helps you prove your code is correct in an automated fashion.β1,488Updated this week
- Add hardship to your testsβ1,116Jan 29, 2026Updated 2 weeks ago