jakubadamw / rutenspitzLinks
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
☆88Updated 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 graphical debugger for Rust MIR☆199Updated 3 years ago
- A collection of small utilities for working with pointer types in Rust.☆133Updated last year
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆124Updated 5 months ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 4 years ago
- Cargo subcommand for checking your documentation for broken links☆156Updated last year
- ☆35Updated last year
- ☆61Updated 2 months ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆178Updated 5 months ago
- Scroll - making scrolling through buffers fun since 2016☆186Updated 4 months ago
- home for proposals in and around compile-time function evaluation☆113Updated last month
- Fork of std::Arc with lots of utilities useful for FFI☆274Updated 3 weeks ago
- Faster integer division and modulus operations☆88Updated 6 months ago
- docs.rs as a publishing platform?☆71Updated last month
- Typed index version of Rust slice and Vec containers☆75Updated last week
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆128Updated 5 years ago
- Code coverage support for Rust `no_std` and embedded programs☆62Updated last month
- skiplist☆144Updated 4 years ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆142Updated 2 years ago
- Better reference counted strings for Rust☆139Updated last year
- Token tree calling convention☆82Updated 3 years ago
- Spawn processes with arbitrary closures in rust☆114Updated 4 years ago
- Rust serializer library☆89Updated 4 months ago
- Macro to repeat sequentially indexed copies of a fragment of code☆160Updated last month
- A library for generating Graphviz DOT language files for graphs.☆78Updated 9 months ago
- Utilities for dealing with substructures within syn macros☆143Updated 8 months ago
- ☆126Updated 3 years ago
- Small Box optimization: store small item on stack and fallback to heap for large item.☆91Updated 6 months ago
- Composable allocator structures for plugging together more powerful allocators☆35Updated 4 years ago
- Execute your code on the Rust ecosystem.☆189Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year