camshaft / boleroLinks
property testing and verification front-end for Rust
☆223Updated last week
Alternatives and similar repositories for bolero
Users that are interested in bolero are comparing it to the libraries listed below
Sorting:
- A framework for writing plugins that integrate with the Rust compiler☆162Updated 2 months ago
- Experiments with structured concurrency in Rust☆400Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆264Updated last month
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆263Updated 3 years ago
- A fast, concurrent string interner☆162Updated last year
- ☆188Updated 9 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆268Updated last month
- Minimalistic snapshot testing for Rust.☆297Updated last year
- Silky smooth Java-Rust interop☆198Updated this week
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆184Updated this week
- Fast, efficient, and robust memory reclamation for Rust.☆456Updated 3 months ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆446Updated 5 months ago
- Execute Rust code carefully, with extra checking along the way☆463Updated 2 weeks ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆177Updated 7 months ago
- ergonomic and precise error handling built atop type-level set arithmetic☆303Updated 8 months ago
- Proc-macro typestate DSL for Rust☆152Updated 2 years ago
- Graph the number of crates that depend on your crate over time☆254Updated this week
- a lock-free concurrent slab (experimental)☆302Updated 11 months ago
- Reflection via DWARF.☆298Updated 2 years ago
- Support crate for rustc's self-profiling feature☆375Updated 5 months ago
- An atomically updatable Arc for lock-free concurrency.☆185Updated last month
- Track and query Cargo dependency graphs.☆244Updated this week
- a model of MIR and the Rust type/trait system☆322Updated this week
- Rust microbenchmarking harness based on paired-testing methodology☆144Updated last month
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆88Updated 2 years ago
- A code ACL checker for Rust☆263Updated last month
- A command line tool for comparing benchmarks run by Criterion.☆257Updated last year
- Zero-overhead type-safe builder pattern `derive` macro for your Rust structs☆221Updated 2 years ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆492Updated last year
- Count lines of LLVM IR per generic function☆487Updated this week