camshaft / boleroLinks
property testing and verification front-end for Rust
☆224Updated 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☆162Updated 3 months ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆263Updated 3 years ago
- ☆190Updated 10 months ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆265Updated last month
- Experiments with structured concurrency in Rust☆404Updated last year
- A fast, concurrent string interner☆162Updated last year
- Fork of std::Arc with lots of utilities useful for FFI☆274Updated last week
- Proc-macro typestate DSL for Rust☆153Updated 2 years ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆178Updated 8 months ago
- Support crate for rustc's self-profiling feature☆376Updated 6 months ago
- a model of MIR and the Rust type/trait system☆323Updated this week
- High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.☆210Updated this week
- Fast, efficient, and robust memory reclamation for Rust.☆464Updated 3 months ago
- Minimalistic snapshot testing for Rust.☆298Updated last year
- Reflection via DWARF.☆298Updated 2 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆88Updated 2 years ago
- a lock-free concurrent slab (experimental)☆303Updated last year
- Rust microbenchmarking harness based on paired-testing methodology☆145Updated 2 months ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆447Updated 6 months ago
- Define compiler intermediate representation usable by external tools☆98Updated last month
- Rust String Libraries by mcyoung☆197Updated 11 months ago
- Silky smooth Java-Rust interop☆199Updated this week
- ergonomic and precise error handling built atop type-level set arithmetic☆307Updated 8 months ago
- in-place allocation-reusing queues for Rust☆392Updated last year
- Count lines of LLVM IR per generic function☆492Updated 3 weeks ago
- Track and query Cargo dependency graphs.☆247Updated last week
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆123Updated 4 months ago
- An atomically updatable Arc for lock-free concurrency.☆188Updated last month
- Statically-checked alternatives to RefCell and RwLock☆385Updated 3 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆165Updated last year