jakubadamw / rutenspitz
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
☆81Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rutenspitz
- A collection of small utilities for working with pointer types in Rust.☆119Updated last year
- Spawn processes with arbitrary closures in rust☆109Updated 3 years ago
- ☆123Updated 2 years ago
- Map data structure whose keys are stored as ranges☆77Updated 8 months ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆151Updated last month
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆95Updated 2 months ago
- A graphical debugger for Rust MIR☆183Updated 2 years ago
- Rust serializer library☆85Updated 6 months ago
- Project group working on the "safe transmute" feature☆85Updated 2 months ago
- Make trait methods callable without the trait in scope☆135Updated last week
- Typed index version of Rust slice and Vec containers☆66Updated last month
- home for proposals in and around compile-time function evaluation☆105Updated last year
- #[no_std] print equivalent for Rust☆60Updated 11 months ago
- Type-safe transmutations between layout-compatible types.☆120Updated 4 years ago
- 🌵 Cycle-Aware Reference Counting in Rust☆144Updated this week
- docs.rs as a publishing platform?☆66Updated 4 months ago
- Cargo subcommand for checking your documentation for broken links☆149Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- Synchronization primitives for Futures and async/await based on intrusive collections☆175Updated 7 months ago
- Utilities for dealing with substructures within syn macros☆139Updated 3 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆216Updated last month
- An experimental asynchronous runtime based on `io-uring`.☆76Updated 3 years ago
- Macro to repeat sequentially indexed copies of a fragment of code☆137Updated last week
- Test harness for declarative and procedural macros expansion via `cargo-expand`☆51Updated 4 months ago
- A crate with indexed arenas with small memory footprint☆76Updated 2 months ago
- A sentinel-based, heapless, `Vec`-like type.☆68Updated 4 years ago
- Scroll - making scrolling through buffers fun since 2016☆156Updated this week
- Code coverage support for Rust `no_std` and embedded programs☆52Updated 2 weeks ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆121Updated 3 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆105Updated last year