camshaft / bolero
property testing and verification front-end for Rust
☆199Updated 2 weeks ago
Alternatives and similar repositories for bolero:
Users that are interested in bolero are comparing it to the libraries listed below
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆166Updated 9 months ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆441Updated 2 weeks ago
- Experiments with structured concurrency in Rust☆348Updated 7 months ago
- ergonomic and precise error handling built atop type-level set arithmetic☆220Updated 4 months ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆259Updated 3 years ago
- Reflection via DWARF.☆297Updated 2 years ago
- Proc-macro typestate DSL for Rust☆144Updated last year
- a lock-free concurrent slab (experimental)☆280Updated 2 months ago
- Execute Rust code carefully, with extra checking along the way☆402Updated 7 months ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆238Updated this week
- Generating structured data from arbitrary, unstructured input.☆745Updated 2 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆84Updated last year
- Graph the number of crates that depend on your crate over time☆237Updated last week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆152Updated 10 months ago
- ☆126Updated last week
- A framework for writing plugins that integrate with the Rust compiler☆141Updated this week
- Count lines of LLVM IR per generic function☆436Updated last month
- A fast, concurrent string interner☆149Updated 6 months ago
- Cargo subcommand for viewing LLVM optimization remarks.☆174Updated 10 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆405Updated 3 weeks ago
- a model of MIR and the Rust type/trait system☆296Updated 2 weeks ago
- High-precision and consistent benchmarking framework/harness for Rust☆125Updated this week
- Support crate for rustc's self-profiling feature☆342Updated 3 weeks ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated 2 months ago
- in-place allocation-reusing queues for Rust☆359Updated 9 months ago
- Minimalistic snapshot testing for Rust.☆260Updated 2 months ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆156Updated last week
- Statically-checked alternatives to RefCell and RwLock☆368Updated 8 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆228Updated last month
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆272Updated 3 years ago