rust-lang / polonius
Defines the Rust borrow checker.
☆1,421Updated 9 months ago
Alternatives and similar repositories for polonius:
Users that are interested in polonius are comparing it to the libraries listed below
- Concurrency permutation testing tool for Rust.☆2,297Updated last month
- A fast bump allocation arena for Rust☆1,630Updated last month
- Rust quasi-quoting☆1,392Updated 3 weeks ago
- "Small vector" optimization for Rust: store up to a small number of items on the stack☆1,431Updated last week
- Cranelift based backend for rustc☆1,730Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,904Updated 3 weeks ago
- Hypothesis-like property testing for Rust☆1,827Updated last week
- Parser for Rust source code☆3,031Updated this week
- Some more derive(Trait) options☆1,866Updated last week
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆2,903Updated 9 months ago
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,220Updated last year
- Analysis of various tricky Rust code☆1,884Updated 2 months ago
- A hash table with consistent order and fast iteration; access items by key or sequence index☆1,936Updated 2 weeks ago
- Compile time static maps for Rust☆1,908Updated 2 months ago
- A crate for managing memory bit by bit☆1,276Updated 7 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,283Updated this week
- Rust library for single assignment cells and lazy statics without macros☆1,942Updated this week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,068Updated 3 weeks ago
- Subcommand to show result of macro expansion☆2,813Updated last week
- Rust port of Google's SwissTable hash map☆2,595Updated 3 weeks ago
- Extra iterator adaptors, iterator methods, free functions, and macros.☆2,875Updated 3 weeks ago
- A binary encoder / decoder implementation in Rust.☆2,930Updated 3 weeks ago
- A safe and fast multi-producer, multi-consumer channel.☆2,575Updated last month
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,438Updated 7 months ago
- Utilities for working with bytes☆2,016Updated 3 weeks ago
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆732Updated 3 weeks ago
- Type erasure for async trait methods☆1,953Updated 2 weeks ago
- Rust cache structures and easy function memoization☆1,733Updated 3 weeks ago
- Slotmap data structure for Rust☆1,194Updated last year
- Automated property based testing for Rust (with shrinking).☆2,528Updated 3 weeks ago