Modeling NLL and the Rust borrowck
☆84Sep 28, 2017Updated 8 years ago
Alternatives and similar repositories for borrowck
Users that are interested in borrowck are comparing it to the libraries listed below
Sorting:
- Collecting examples and information to help design a memory model for Rust.☆127Jun 18, 2019Updated 6 years ago
- Non-lexical lifetimes RFC.☆49Apr 9, 2018Updated 7 years ago
- Install a rustc master toolchain usable from rustup☆76Feb 4, 2026Updated last month
- Data for timing rustc☆17Jul 11, 2020Updated 5 years ago
- Extra primitive types (u128, i128) for Rust.☆25May 15, 2021Updated 4 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- Tinkering with a more ergonomic cell abstraction☆16May 26, 2019Updated 6 years ago
- Multiplayer node-based data frame/SQL app☆14Mar 26, 2023Updated 2 years ago
- LLVM IR to Cranelift IR translator☆37Oct 8, 2019Updated 6 years ago
- Mitochondria is the powerhouse of the `Cell`☆30Nov 20, 2016Updated 9 years ago
- Modular register allocator algorithms☆105Oct 4, 2022Updated 3 years ago
- A graphical debugger for Rust MIR☆199Aug 25, 2022Updated 3 years ago
- Victor makes vectors.☆36Jul 22, 2019Updated 6 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Mar 23, 2021Updated 4 years ago
- An extraction of the compiletest utility from the Rust compiler☆232Feb 10, 2026Updated 3 weeks ago
- Defines the Rust borrow checker.☆1,582Jun 6, 2025Updated 8 months ago
- Rust implementations of compiler-rt and libm☆479Feb 20, 2026Updated last week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,984Feb 8, 2026Updated 3 weeks ago
- home for proposals in and around compile-time function evaluation☆114Dec 8, 2025Updated 2 months ago
- QuickCheck bug hunting in Rust standard library data structures☆161Mar 10, 2019Updated 6 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆167Feb 10, 2026Updated 3 weeks ago
- write like Rspec testing framework with rust☆24May 26, 2023Updated 2 years ago
- The Computer Language Benchmarks Game: Rust implementations☆72Jan 1, 2020Updated 6 years ago
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Mar 11, 2020Updated 5 years ago
- [WIP] Yet another Erlang implementation in Rust☆33Feb 18, 2019Updated 7 years ago
- A home for compiler team planning documents, meeting minutes, and other such things.☆419Oct 28, 2025Updated 4 months ago
- mdbook on common pitfalls in unsafe rust code☆11May 24, 2019Updated 6 years ago
- asynchronous deduplicator with optional LRU caching☆12Feb 8, 2026Updated 3 weeks ago
- A library for sound Digital Signal Processing, written in Rust☆10Oct 30, 2014Updated 11 years ago
- The CompCert formally-verified C compiler☆10Feb 25, 2026Updated last week
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- ☆10May 14, 2020Updated 5 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Mar 20, 2023Updated 2 years ago
- Load and resolve Cargo configuration.☆18Updated this week
- Take a reference and get back a slice of length one☆26Apr 29, 2021Updated 4 years ago
- Concatenate identifiers in a macro invocation☆94Dec 19, 2022Updated 3 years ago
- Project group working on the "safe transmute" feature☆97Sep 14, 2024Updated last year
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆102Jul 10, 2024Updated last year