rust-lang / polonius
Defines the Rust borrow checker.
☆1,355Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for polonius
- Rust quasi-quoting☆1,330Updated 2 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,846Updated last month
- Concurrency permutation testing tool for Rust.☆2,147Updated 2 months ago
- A fast bump allocation arena for Rust☆1,443Updated 2 months ago
- "Small vector" optimization for Rust: store up to a small number of items on the stack☆1,359Updated 3 weeks ago
- Some more derive(Trait) options☆1,738Updated 2 weeks ago
- Parser for Rust source code☆2,904Updated this week
- Compile time static maps for Rust☆1,846Updated 3 months ago
- Hypothesis-like property testing for Rust☆1,740Updated this week
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆2,762Updated 4 months ago
- A hash table with consistent order and fast iteration; access items by key or sequence index☆1,747Updated last week
- Cranelift based backend for rustc☆1,632Updated this week
- Analysis of various tricky Rust code☆1,702Updated 2 weeks ago
- A crate for managing memory bit by bit☆1,221Updated 3 months ago
- Extra iterator adaptors, iterator methods, free functions, and macros.☆2,760Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,137Updated this week
- Subcommand to show result of macro expansion☆2,687Updated last week
- Rust port of Google's SwissTable hash map☆2,453Updated last week
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,193Updated 8 months ago
- A safe and fast multi-producer, multi-consumer channel.☆2,448Updated last month
- Type erasure for async trait methods☆1,844Updated 2 weeks ago
- A binary encoder / decoder implementation in Rust.☆2,718Updated this week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,000Updated last week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,412Updated 3 months ago
- Automated property based testing for Rust (with shrinking).☆2,425Updated 11 months ago
- Macros for all your token pasting needs☆1,026Updated last month
- A code coverage tool for Rust projects☆2,528Updated this week
- Rust library for single assignment cells and lazy statics without macros☆1,874Updated last month
- Zero-copy deserialization framework for Rust☆2,965Updated this week
- Find unused dependencies in Cargo.toml☆1,752Updated this week