jakubadamw / rutenspitzLinks
А 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.☆125Updated 4 months ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆103Updated 5 months ago
- A graphical debugger for Rust MIR☆190Updated 2 years ago
- home for proposals in and around compile-time function evaluation☆110Updated last year
- Cargo subcommand for checking your documentation for broken links☆156Updated 5 months ago
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year
- Macro for sealing traits and structures☆56Updated 6 months ago
- A library for generating Graphviz DOT language files for graphs.☆75Updated 2 months ago
- Typed index version of Rust slice and Vec containers☆69Updated last month
- Safe, zero-cost downcasting for limited compile-time specialization.☆162Updated 2 weeks ago
- Spawn processes with arbitrary closures in rust☆111Updated 3 years ago
- docs.rs as a publishing platform?☆69Updated 2 weeks ago
- Faster integer division and modulus operations☆87Updated 2 years ago
- (lifetime) GATs on stable Rust☆59Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆158Updated last year
- Fork of std::Arc with lots of utilities useful for FFI☆234Updated 3 weeks ago
- #[no_std] print equivalent for Rust☆64Updated last year
- A tool for finding large memcpy's in llvm ir☆60Updated 6 years ago
- Nudging the compiler to auto-vectorize things☆75Updated last year
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆38Updated 7 years ago
- Small Box optimization: store small item on stack and fallback to heap for large item.☆83Updated last week
- ☆57Updated last year
- Project group working on the "safe transmute" feature☆92Updated 8 months ago
- ☆39Updated last year
- ☆31Updated 5 years ago
- Composable allocator structures for plugging together more powerful allocators☆35Updated 4 years ago
- ☆124Updated 2 years ago
- 🌵 Cycle-Aware Reference Counting in Rust☆148Updated this week
- Token tree calling convention☆79Updated 2 years ago
- An experimental asynchronous runtime based on `io-uring`.☆77Updated 4 years ago