Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
☆27Apr 19, 2024Updated last year
Alternatives and similar repositories for tree-borrows
Users that are interested in tree-borrows are comparing it to the libraries listed below
Sorting:
- Slides and sources for talks on Tree Borrows☆14Dec 5, 2025Updated 2 months ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- Rust library to interface with the RISC-V Supervisor Binary Interface☆14Apr 17, 2025Updated 10 months ago
- Convenience wrapper for cargo buildscript input/output☆15Feb 16, 2026Updated 2 weeks ago
- ⏳ Ruby `Time#strftime` parser and formatter☆16Nov 3, 2025Updated 4 months ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Stack unwinding library in Rust☆133Jan 20, 2026Updated last month
- ☆15Mar 11, 2024Updated last year
- "Valgrind Client Request" interface for Rust☆18Jan 30, 2026Updated last month
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated 9 months ago
- ☆35Jun 21, 2024Updated last year
- A library for python dependency specifiers (PEP 508) with validations and warnings☆18Feb 2, 2026Updated last month
- A 64-bit bootloader for RISC-V☆16Nov 27, 2023Updated 2 years ago
- an utility printing the key combinations you try on your terminal☆21Jan 19, 2026Updated last month
- Humansort implementation in rust☆17Jul 7, 2022Updated 3 years ago
- Count lines of code across your entire dependency tree☆22May 13, 2024Updated last year
- ☆16Updated this week
- Library to manage a PS2 mouse☆13Aug 30, 2021Updated 4 years ago
- Trustfall adapter for querying rustdoc☆20Jan 23, 2026Updated last month
- The Big Book of Rust Interop☆20Jun 26, 2023Updated 2 years ago
- a BOCU-1 encoder/decoder library in rust☆18Dec 28, 2022Updated 3 years ago
- Experimenting with a gpu physics engine from scratch☆29Oct 29, 2025Updated 4 months ago
- the backend of crates-pro☆19Jun 26, 2025Updated 8 months ago
- ☆19Nov 21, 2023Updated 2 years ago
- ☆55Aug 16, 2025Updated 6 months ago
- New register allocator designed as a successor to regalloc2☆57Nov 13, 2025Updated 3 months ago
- A interface for Rust to interact with the taskbar☆19Aug 15, 2022Updated 3 years ago
- A book capturing different approaches or patterns for solving problems in Embedded Rust☆15Mar 7, 2019Updated 6 years ago
- Microservice message flow visualization. Built with Rust & WebAssembly.☆35Jan 7, 2026Updated last month
- Umbrella repository for Krabcake experiments☆48Feb 11, 2025Updated last year
- Atomic operations on potentially uninitialized integers.☆28Updated this week
- ☆47Feb 13, 2026Updated 2 weeks ago
- Low level API definition of a Mutex☆26Jul 29, 2025Updated 7 months ago
- Emulation for legacy devices☆32Feb 1, 2026Updated last month
- an authenticated, chunked cipher based on BLAKE3☆23May 7, 2025Updated 9 months ago
- Reliable parallel remove_dir_all implementation for Windows and other platforms.☆59Sep 26, 2025Updated 5 months ago
- ☆27Apr 1, 2023Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆108May 19, 2022Updated 3 years ago