camshaft / boleroLinks
property testing and verification front-end for Rust
☆204Updated last week
Alternatives and similar repositories for bolero
Users that are interested in bolero are comparing it to the libraries listed below
Sorting:
- ☆144Updated 2 months ago
- Experiments with structured concurrency in Rust☆365Updated 10 months ago
- ergonomic and precise error handling built atop type-level set arithmetic☆231Updated last month
- in-place allocation-reusing queues for Rust☆374Updated 11 months ago
- A framework for writing plugins that integrate with the Rust compiler☆151Updated last month
- Count lines of LLVM IR per generic function☆444Updated 4 months ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆443Updated last week
- Fast, efficient, and robust memory reclamation for Rust.☆417Updated 2 weeks ago
- a model of MIR and the Rust type/trait system☆301Updated 2 months ago
- Execute Rust code carefully, with extra checking along the way☆416Updated this week
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆261Updated 3 years ago
- Reflection via DWARF.☆296Updated 2 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆85Updated 2 years ago
- A fast, concurrent string interner☆150Updated 9 months ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆251Updated 2 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆234Updated 3 weeks ago
- Proc-macro typestate DSL for Rust☆149Updated last year
- Silky smooth Java-Rust interop☆185Updated this week
- High-precision and consistent benchmarking framework/harness for Rust☆139Updated this week
- Graph the number of crates that depend on your crate over time☆242Updated last week
- Experimental one-shot benchmarking/profiling harness for Rust☆611Updated 9 months ago
- Generating structured data from arbitrary, unstructured input.☆785Updated last month
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆169Updated 3 weeks ago
- Program startup and thread support written in Rust☆185Updated 2 weeks ago
- Statically-checked alternatives to RefCell and RwLock☆367Updated 11 months ago
- Track and query Cargo dependency graphs.☆222Updated this week
- Easy self-referential struct generation for Rust.☆613Updated 4 months ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆148Updated last year
- a lock-free concurrent slab (experimental)☆282Updated 5 months ago
- Library for snippet annotations☆315Updated 2 weeks ago