camshaft / bolero
property testing and verification front-end for Rust
☆202Updated this week
Alternatives and similar repositories for bolero:
Users that are interested in bolero are comparing it to the libraries listed below
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆260Updated 3 years ago
- Fast, efficient, and robust memory reclamation for Rust.☆410Updated last month
- Experiments with structured concurrency in Rust☆358Updated 8 months ago
- Reflection via DWARF.☆296Updated 2 years ago
- Count lines of LLVM IR per generic function☆439Updated 2 months ago
- in-place allocation-reusing queues for Rust☆366Updated 10 months ago
- Execute Rust code carefully, with extra checking along the way☆404Updated 8 months ago
- a model of MIR and the Rust type/trait system☆298Updated last month
- Append-only collections for Rust where borrows to entries can outlive insertions☆241Updated last month
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆441Updated this week
- Proc-macro typestate DSL for Rust☆148Updated last year
- High-precision and consistent benchmarking framework/harness for Rust☆132Updated this week
- ☆137Updated last month
- a lock-free concurrent slab (experimental)☆280Updated 3 months ago
- A framework for writing plugins that integrate with the Rust compiler☆145Updated last week
- Support crate for rustc's self-profiling feature☆346Updated 2 months ago
- Graph the number of crates that depend on your crate over time☆237Updated last week
- Cargo subcommand for viewing LLVM optimization remarks.☆175Updated 11 months ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆167Updated 10 months ago
- Generating structured data from arbitrary, unstructured input.☆751Updated 3 weeks ago
- Experimental one-shot benchmarking/profiling harness for Rust☆603Updated 8 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆232Updated 2 months ago
- List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…☆462Updated this week
- ergonomic and precise error handling built atop type-level set arithmetic☆227Updated 5 months ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆148Updated last year
- Statically-checked alternatives to RefCell and RwLock☆367Updated 9 months ago
- A command line tool for comparing benchmarks run by Criterion.☆244Updated 6 months ago
- A fast, concurrent string interner☆149Updated 7 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆154Updated 11 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆461Updated last year