camshaft / bolero
property testing and verification front-end for Rust
☆181Updated 2 weeks ago
Related projects: ⓘ
- Experiments with structured concurrency in Rust☆299Updated last month
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆432Updated last month
- a lock-free concurrent slab (experimental)☆269Updated last month
- Proc-macro typestate DSL for Rust☆139Updated last year
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆248Updated 2 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆223Updated 2 months ago
- Count lines of LLVM IR per generic function☆402Updated 2 weeks ago
- Fast, efficient, and robust memory reclamation for Rust.☆340Updated 2 months ago
- in-place allocation-reusing queues for Rust☆281Updated 3 months ago
- Reflection via DWARF.☆295Updated last year
- Support crate for rustc's self-profiling feature☆333Updated 3 months ago
- Graph the number of crates that depend on your crate over time☆231Updated 3 weeks ago
- Library for snippet annotations☆262Updated last week
- Silky smooth Java-Rust interop☆139Updated this week
- A framework for writing plugins that integrate with the Rust compiler☆133Updated last month
- A command line tool for comparing benchmarks run by Criterion.☆211Updated last year
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆157Updated 3 months ago
- ergonomic and precise error handling built atop type-level set arithmetic☆195Updated 5 months ago
- Execute Rust code carefully, with extra checking along the way☆376Updated last month
- Zero-overhead type-safe builder pattern `derive` macro for your Rust structs☆222Updated last year
- A fast, concurrent string interner☆137Updated last month
- a model of MIR and the Rust type/trait system☆282Updated last month
- Manual segmented stacks for Rust☆277Updated 2 weeks ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆140Updated 8 months ago
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆209Updated 3 years ago
- Generating structured data from arbitrary, unstructured input.☆711Updated this week
- generators☆201Updated 11 months ago
- Delegation of trait implementations via procedural macros☆250Updated 2 months ago
- Track and query Cargo dependency graphs.☆155Updated this week
- Run Rust lints from dynamic libraries☆369Updated this week