camshaft / bolero
property testing and verification front-end for Rust
☆197Updated this week
Alternatives and similar repositories for bolero:
Users that are interested in bolero are comparing it to the libraries listed below
- Proc-macro typestate DSL for Rust☆143Updated last year
- ☆119Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆140Updated 2 months ago
- a lock-free concurrent slab (experimental)☆278Updated last month
- ergonomic and precise error handling built atop type-level set arithmetic☆217Updated 3 months ago
- Reflection via DWARF.☆296Updated last year
- in-place allocation-reusing queues for Rust☆359Updated 8 months ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆164Updated 9 months ago
- Experiments with structured concurrency in Rust☆347Updated 6 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆83Updated last year
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆441Updated this week
- Append-only collections for Rust where borrows to entries can outlive insertions☆238Updated 2 weeks ago
- Statically-checked alternatives to RefCell and RwLock☆367Updated 8 months ago
- Execute Rust code carefully, with extra checking along the way☆400Updated 6 months ago
- Support crate for rustc's self-profiling feature☆341Updated last week
- List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…☆439Updated this week
- Count lines of LLVM IR per generic function☆434Updated 3 weeks ago
- An ε-copy serialization/deserialization framework for Rust☆137Updated this week
- Atomically updatable variants of Arc and Weak for lock-free concurrency.☆180Updated 4 months ago
- Minimalistic snapshot testing for Rust.☆260Updated 2 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆225Updated 3 weeks ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆258Updated 3 years ago
- Graph the number of crates that depend on your crate over time☆237Updated this week
- a model of MIR and the Rust type/trait system☆295Updated 4 months ago
- Cargo subcommand for viewing LLVM optimization remarks.☆174Updated 9 months ago
- A fast, concurrent string interner☆148Updated 6 months ago
- A code ACL checker for Rust☆208Updated last month
- Macro to repeat sequentially indexed copies of a fragment of code☆142Updated this week
- A fast and flexible LRU map.☆175Updated last month
- Generating structured data from arbitrary, unstructured input.☆745Updated last month