oli-obk / priroda
A graphical debugger for Rust MIR
☆184Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for priroda
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆81Updated last year
- An extraction of the compiletest utility from the Rust compiler☆218Updated 3 weeks ago
- home for proposals in and around compile-time function evaluation☆105Updated last year
- Cargo subcommand for checking your documentation for broken links☆149Updated last year
- ☆123Updated 2 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆105Updated last year
- Synchronization primitives for Futures and async/await based on intrusive collections☆175Updated 7 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- Type-safe transmutations between layout-compatible types.☆120Updated 4 years ago
- Generic Atomic<T> type for Rust☆217Updated 9 months ago
- Execute your code on the Rust ecosystem.☆181Updated 3 weeks ago
- Manual segmented stacks for Rust☆286Updated 3 weeks ago
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆129Updated 4 years ago
- Typed index version of Rust slice and Vec containers☆66Updated last month
- Spawn processes with arbitrary closures in rust☆108Updated 3 years ago
- Bisects rustc, either nightlies or CI artifacts☆177Updated 3 weeks ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆137Updated last year
- A simple bitset container for Rust☆124Updated 6 months ago
- A crate with indexed arenas with small memory footprint☆76Updated 2 months ago
- Custom derivation macro for Rust☆110Updated 6 years ago
- Safe, zero-cost downcasting for limited compile-time specialization.☆151Updated 3 weeks ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆121Updated 3 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- A collection of small utilities for working with pointer types in Rust.☆119Updated last year
- Project group working on the "safe transmute" feature☆84Updated last month
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆101Updated 5 years ago
- 🌵 Cycle-Aware Reference Counting in Rust☆144Updated this week
- A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.☆113Updated 2 months ago
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆212Updated 3 years ago
- Fork of std::Arc with lots of utilities useful for FFI☆215Updated 3 weeks ago