camshaft / boleroLinks
property testing and verification front-end for Rust
☆213Updated 3 weeks ago
Alternatives and similar repositories for bolero
Users that are interested in bolero are comparing it to the libraries listed below
Sorting:
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆262Updated 3 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆254Updated last week
- Experiments with structured concurrency in Rust☆374Updated last year
- Fork of std::Arc with lots of utilities useful for FFI☆247Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆153Updated 3 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆429Updated last month
- Reflection via DWARF.☆297Updated 2 years ago
- High-precision and consistent benchmarking framework/harness for Rust☆156Updated this week
- a lock-free concurrent slab (experimental)☆291Updated 7 months ago
- ergonomic and precise error handling built atop type-level set arithmetic☆246Updated 3 months ago
- Support crate for rustc's self-profiling feature☆365Updated 3 weeks ago
- Atomically updatable variants of Arc and Weak for lock-free concurrency.☆182Updated 9 months ago
- A fast, concurrent string interner☆151Updated 11 months ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆173Updated 2 months ago
- Graph the number of crates that depend on your crate over time☆251Updated 3 weeks ago
- Track and query Cargo dependency graphs.☆230Updated this week
- ☆156Updated 4 months ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- Rust microbenchmarking harness based on paired-testing methodology☆129Updated 2 months ago
- Execute Rust code carefully, with extra checking along the way☆434Updated 3 weeks ago
- A fast and flexible LRU map.☆190Updated 6 months ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆147Updated last year
- Count lines of LLVM IR per generic function☆465Updated 3 weeks ago
- ☆216Updated last month
- Safe-to-use proc-macro-free self-referential structs in stable Rust.☆269Updated 3 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆86Updated 2 years ago
- in-place allocation-reusing queues for Rust☆378Updated last year
- Minimalistic snapshot testing for Rust.☆288Updated 7 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- Library for snippet annotations☆325Updated this week