camshaft / boleroLinks
property testing and verification front-end for Rust
☆219Updated last month
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☆160Updated 3 weeks ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆260Updated 3 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆258Updated 2 weeks ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆86Updated 2 years ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆260Updated 3 years ago
- ☆172Updated 7 months ago
- a lock-free concurrent slab (experimental)☆299Updated 9 months ago
- Experiments with structured concurrency in Rust☆390Updated last year
- Reflection via DWARF.☆297Updated 2 years ago
- Support crate for rustc's self-profiling feature☆373Updated 3 months ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- Fast, efficient, and robust memory reclamation for Rust.☆451Updated last month
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆443Updated 3 months ago
- A fast, concurrent string interner☆157Updated last year
- Atomically updatable variants of Arc and Weak for lock-free concurrency.☆185Updated last year
- Count lines of LLVM IR per generic function☆477Updated 3 weeks ago
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆171Updated this week
- in-place allocation-reusing queues for Rust☆383Updated last year
- Minimalistic snapshot testing for Rust.☆291Updated 10 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆163Updated last year
- An ε-copy serialization/deserialization framework for Rust☆159Updated this week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆172Updated 5 months ago
- ☆167Updated 2 years ago
- Track and query Cargo dependency graphs.☆236Updated last week
- ☆226Updated 2 months ago
- A command line tool for comparing benchmarks run by Criterion.☆255Updated last year
- Graph the number of crates that depend on your crate over time☆253Updated last month
- Utility wrapper to send non send types to other threads safely☆188Updated 6 months ago
- Cargo subcommand for viewing LLVM optimization remarks.☆185Updated last week
- Recipes for avoiding bounds checks in Rust, without unsafe!☆127Updated 2 years ago