jakubadamw / rutenspitz
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
☆84Updated last year
Alternatives and similar repositories for rutenspitz:
Users that are interested in rutenspitz are comparing it to the libraries listed below
- A collection of small utilities for working with pointer types in Rust.☆122Updated last month
- A graphical debugger for Rust MIR☆187Updated 2 years ago
- Composable allocator structures for plugging together more powerful allocators☆35Updated 3 years ago
- docs.rs as a publishing platform?☆68Updated 3 weeks ago
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year
- ☆124Updated 2 years ago
- Typed index version of Rust slice and Vec containers☆69Updated 5 months ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated 2 months ago
- Small Box optimization: store small item on stack and fallback to heap for large item.☆78Updated 2 months ago
- Spawn processes with arbitrary closures in rust☆110Updated 3 years ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- Project group working on the "safe transmute" feature☆89Updated 5 months ago
- Nudging the compiler to auto-vectorize things☆75Updated last year
- Faster integer division and modulus operations☆87Updated 2 years ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆156Updated last week
- Code coverage support for Rust `no_std` and embedded programs☆54Updated 4 months ago
- skiplist☆141Updated 3 years ago
- Arena allocator and a handful of useful data structures☆40Updated 4 years ago
- Fork of std::Arc with lots of utilities useful for FFI☆228Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆152Updated 10 months ago
- ☆56Updated 8 months ago
- ☆36Updated 2 months ago
- An on-disk hash table implementation☆113Updated 3 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- 🌵 Cycle-Aware Reference Counting in Rust☆146Updated this week
- Token tree calling convention☆79Updated 2 years ago
- An experimental asynchronous runtime based on `io-uring`.☆77Updated 3 years ago
- Generic extensions for tapping values in Rust.☆55Updated 5 years ago
- Cargo subcommand for checking your documentation for broken links☆152Updated 3 months ago
- An article explaining the unsoundness I found in owning-ref☆26Updated 3 years ago