neysofu / reltesterLinks
Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
☆20Updated 2 years ago
Alternatives and similar repositories for reltester
Users that are interested in reltester are comparing it to the libraries listed below
Sorting:
- Human-friendly indexed collections☆56Updated 3 months ago
- ☆34Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- ☆38Updated 3 years ago
- Exhaustive iteration trait in Rust☆19Updated last month
- An exploration of Storages☆39Updated 2 years ago
- Helps you frob those bits☆42Updated last year
- Some internal rustc tools made accessible☆47Updated 3 months ago
- exhaustive testing library☆66Updated last year
- SIMD-optimized B+ Tree implementation that uses integer keys☆93Updated 6 months ago
- Lending iterators on stable Rust☆83Updated 2 years ago
- Memory validation framework for Rust☆75Updated 4 months ago
- A Rust library for runtime-checked linearish types☆37Updated 2 years ago
- cross-platform Rust API for memory mapped IO☆42Updated last year
- Unbuffered and unlocked I/O streams☆45Updated 10 months ago
- ☆36Updated last year
- A simple set of Rust proc macros for reading and writing global compile-time state between macro calls☆29Updated last year
- Profiling tool for Rust code.☆46Updated last year
- Tiny little crate to determine how large an unnameable type is.☆12Updated 10 months ago
- ☆30Updated last year
- A syntactic "for" loop Rust macro☆55Updated 3 years ago
- A minimalist property-based testing library☆123Updated 9 months ago
- Rust macro to make recursive function run on the heap (i.e. no stack overflow).☆24Updated 7 months ago
- SegVec data structure for rust. Similar to Vec, but allocates memory in chunks of increasing size.☆39Updated 2 years ago
- Zero-cost type for stack without complicated type or Box☆45Updated 8 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Updated last year
- A radioactive stabilization of the ptr_meta RFC.☆39Updated 4 months ago
- A low-ish level tool for easily writing and hosting WASM based plugins.☆71Updated last year
- Trying to create Sync bump allocator☆41Updated 6 months ago
- Nudging the compiler to auto-vectorize things☆76Updated 2 years ago