jakubadamw / rutenspitz
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
☆83Updated last year
Alternatives and similar repositories for rutenspitz:
Users that are interested in rutenspitz are comparing it to the libraries listed below
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated last month
- A collection of small utilities for working with pointer types in Rust.☆119Updated last month
- A graphical debugger for Rust MIR☆187Updated 2 years ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆156Updated last month
- home for proposals in and around compile-time function evaluation☆107Updated last year
- Spawn processes with arbitrary closures in rust☆109Updated 3 years ago
- Typed index version of Rust slice and Vec containers☆68Updated 4 months ago
- Better reference counted strings for Rust☆118Updated 7 months ago
- docs.rs as a publishing platform?☆68Updated this week
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆139Updated 2 years ago
- Data structures like Rust `alloc` which reuse user allocated memory☆52Updated 5 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆149Updated 9 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆225Updated 3 weeks ago
- Project group working on the "safe transmute" feature☆89Updated 5 months ago
- Macro to repeat sequentially indexed copies of a fragment of code☆142Updated this week
- Cargo subcommand for checking your documentation for broken links☆151Updated 2 months ago
- Automatically implement traits for common smart pointers☆105Updated last month
- Blazing fast immutable collection datatypes for Rust.☆95Updated last week
- Synchronization primitives for Futures and async/await based on intrusive collections☆176Updated 10 months ago
- Map data structure whose keys are stored as ranges☆81Updated last month
- Safe wrapper for initializing arrays☆73Updated 2 years ago
- Small Box optimization: store small item on stack and fallback to heap for large item.☆78Updated last month
- Token tree calling convention☆79Updated 2 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆121Updated 3 years ago
- Make trait methods callable without the trait in scope☆135Updated this week
- Test harness for declarative and procedural macros expansion via `cargo-expand`☆53Updated 3 weeks ago
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year
- Faster integer division and modulus operations☆87Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.☆139Updated 6 months ago