jakubadamw / rutenspitz
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
☆85Updated 2 years ago
Alternatives and similar repositories for rutenspitz
Users that are interested in rutenspitz are comparing it to the libraries listed below
Sorting:
- A collection of small utilities for working with pointer types in Rust.☆124Updated 4 months ago
- home for proposals in and around compile-time function evaluation☆108Updated last year
- Project group working on the "safe transmute" feature☆92Updated 8 months ago
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆102Updated 4 months ago
- docs.rs as a publishing platform?☆68Updated 2 months ago
- A graphical debugger for Rust MIR☆189Updated 2 years ago
- Make trait methods callable without the trait in scope☆136Updated 2 months ago
- Spawn processes with arbitrary closures in rust☆111Updated 3 years ago
- Typed index version of Rust slice and Vec containers☆69Updated last week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆156Updated last year
- Synchronization primitives for Futures and async/await based on intrusive collections☆179Updated last year
- Cargo subcommand for checking your documentation for broken links☆155Updated 5 months ago
- ☆46Updated last year
- Token tree calling convention☆79Updated 2 years ago
- Small Box optimization: store small item on stack and fallback to heap for large item.☆78Updated 4 months ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆162Updated 2 months ago
- Faster integer division and modulus operations☆87Updated 2 years ago
- Utilities for dealing with substructures within syn macros☆139Updated last week
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆129Updated 4 years ago
- A generic, fixed-size, associative cache☆40Updated 6 months ago
- Fork of std::Arc with lots of utilities useful for FFI☆233Updated last week
- A simple, id-based arena☆119Updated last year
- Inter-event timing metrics on top of tracing.☆117Updated last year
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- A fast, concurrent string interner☆150Updated 8 months ago
- Macro for sealing traits and structures☆54Updated 5 months ago
- A library for generating Graphviz DOT language files for graphs.☆75Updated last month
- Data-driven tests on stable Rust☆39Updated this week
- Concatenate identifiers in a macro invocation☆93Updated 2 years ago