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.☆123Updated 2 months ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated 2 months ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- A graphical debugger for Rust MIR☆189Updated 2 years ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆156Updated 3 weeks ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆153Updated 10 months ago
- ☆55Updated last year
- Fork of std::Arc with lots of utilities useful for FFI☆229Updated 2 months ago
- docs.rs as a publishing platform?☆68Updated last month
- Faster integer division and modulus operations☆87Updated 2 years ago
- Spawn processes with arbitrary closures in rust☆110Updated 3 years ago
- Synchronization primitives for Futures and async/await based on intrusive collections☆179Updated last year
- perf-event: a Rust interface to Linux performance monitoring☆111Updated 11 months ago
- Cargo subcommand for checking your documentation for broken links☆152Updated 3 months ago
- Map data structure whose keys are stored as ranges☆84Updated 2 months ago
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆129Updated 4 years ago
- 🌵 Cycle-Aware Reference Counting in Rust☆147Updated last week
- Project group working on the "safe transmute" feature☆92Updated 6 months ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 3 years ago
- Better reference counted strings for Rust☆119Updated 8 months ago
- A safe `Pin`-based intrusive doubly-linked list in Rust☆21Updated 2 months ago
- A library for generating Graphviz DOT language files for graphs.☆74Updated 2 years ago
- Make trait methods callable without the trait in scope☆136Updated 3 weeks ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- ☆45Updated last year
- A simple, id-based arena☆118Updated last year
- (lifetime) GATs on stable Rust☆57Updated last year
- Small Box optimization: store small item on stack and fallback to heap for large item.☆78Updated 3 months ago
- ☆124Updated 2 years ago
- skiplist☆141Updated 3 years ago