camshaft / bolero
property testing and verification front-end for Rust
☆202Updated 3 weeks ago
Alternatives and similar repositories for bolero:
Users that are interested in bolero are comparing it to the libraries listed below
- Reflection via DWARF.☆296Updated 2 years ago
- Experiments with structured concurrency in Rust☆362Updated 9 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆233Updated 3 months ago
- Execute Rust code carefully, with extra checking along the way☆409Updated last week
- Proc-macro typestate DSL for Rust☆148Updated last year
- Count lines of LLVM IR per generic function☆442Updated 3 months ago
- ☆140Updated 2 months ago
- ergonomic and precise error handling built atop type-level set arithmetic☆230Updated 2 weeks ago
- a lock-free concurrent slab (experimental)☆280Updated 4 months ago
- Support crate for rustc's self-profiling feature☆350Updated 2 months ago
- A framework for writing plugins that integrate with the Rust compiler☆147Updated last month
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆260Updated 3 years ago
- High-precision and consistent benchmarking framework/harness for Rust☆135Updated this week
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆442Updated last week
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆85Updated 2 years ago
- Minimalistic snapshot testing for Rust.☆270Updated 4 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆412Updated 2 months ago
- Silky smooth Java-Rust interop☆179Updated this week
- Manual segmented stacks for Rust☆306Updated last week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆168Updated this week
- Graph the number of crates that depend on your crate over time☆238Updated this week
- A fast, concurrent string interner☆150Updated 8 months ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆251Updated 2 months ago
- A command line tool for comparing benchmarks run by Criterion.☆244Updated 7 months ago
- Compile-time reference counting☆445Updated last year
- a model of MIR and the Rust type/trait system☆299Updated last month
- Program startup and thread support written in Rust☆184Updated last week
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆102Updated 4 months ago
- Cargo subcommand for viewing LLVM optimization remarks.☆179Updated 11 months ago
- Atomically updatable variants of Arc and Weak for lock-free concurrency.☆182Updated 6 months ago