jakubadamw / rutenspitz
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
☆85Updated last year
Alternatives and similar repositories for rutenspitz:
Users that are interested in rutenspitz are comparing it to the libraries listed below
- A graphical debugger for Rust MIR☆188Updated 2 years ago
- A collection of small utilities for working with pointer types in Rust.☆124Updated 3 months ago
- Spawn processes with arbitrary closures in rust☆110Updated 3 years ago
- Fork of std::Arc with lots of utilities useful for FFI☆232Updated 3 months ago
- Small Box optimization: store small item on stack and fallback to heap for large item.☆78Updated 4 months ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆102Updated 3 months ago
- Synchronization primitives for Futures and async/await based on intrusive collections☆179Updated last year
- home for proposals in and around compile-time function evaluation☆107Updated last year
- Faster integer division and modulus operations☆87Updated 2 years ago
- Cargo subcommand for checking your documentation for broken links☆155Updated 4 months ago
- A fast, concurrent string interner☆150Updated 8 months ago
- docs.rs as a publishing platform?☆68Updated 2 months ago
- Make trait methods callable without the trait in scope☆136Updated last month
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆129Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- skiplist☆142Updated 3 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆155Updated 11 months ago
- Project group working on the "safe transmute" feature☆92Updated 7 months ago
- Code coverage support for Rust `no_std` and embedded programs☆54Updated 5 months ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- Macro for sealing traits and structures☆53Updated 4 months ago
- Macro to repeat sequentially indexed copies of a fragment of code☆154Updated last month
- Inter-event timing metrics on top of tracing.☆117Updated last year
- ☆124Updated 2 years ago
- property testing and verification front-end for Rust☆202Updated last week
- Safely cast &T to &U where the struct U contains a single field of type T.☆200Updated last month
- Allocation-free data structures that make do with the memory they're given☆145Updated 3 years ago
- 🌵 Cycle-Aware Reference Counting in Rust☆147Updated this week
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Safe, zero-cost downcasting for limited compile-time specialization.☆160Updated last month