A collection of useful asserts.
An arena based tree structure with removal support
A library for 2D geometry, providing geometric algorithms for intersection/distance between circular arcs/line segments.
A library for 2D geometry, providing robust geometric algorithms for intersection/distance between circular arcs/line segments.
Vec<u32> that auto-selects 1/2/3/4-byte storage per element, upgrading in place when values grow
a no_std bump allocator sourcing space from a user-provided slice
Rust verification toolkit. Tests, benches, coverage, fuzz, security audit, dep hygiene, mutation, chaos, async, stress — one crate, opt in with feature flags.
Mutation testing for Rust. Wraps cargo-mutants: kill rate, surviving-mutant evidence, kill-rate threshold gating. Detects tests that pass without asserting. Part of the dev-* verification collection.
A highly parallel Perl 5 interpreter written in Rust
Swiftly extracts unaligned bit-level data from a byte slice
A library to create HTTP error response content for APIs based on RFC 7807
A Combinator based parser for strings that gets out of the way, and leaves your code looking like a grammer