A Rust Linter with Decoupled Rule Definition and Detection Logic.
☆17Feb 4, 2026Updated 3 weeks ago
Alternatives and similar repositories for RPL
Users that are interested in RPL are comparing it to the libraries listed below
Sorting:
- A statically typed version of pest.☆12Dec 2, 2025Updated 3 months ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- WIP pest 3.0☆17Feb 7, 2026Updated 3 weeks ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆17Dec 28, 2023Updated 2 years ago
- A toolkit for volumetric video research☆15Jun 4, 2024Updated last year
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆18Jan 30, 2026Updated last month
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated 11 months ago
- A Rust crate that implements "design by contract" via procedural macros☆29Feb 23, 2026Updated last week
- Unescape strings with escape sequences written out as literal characters.☆26Jan 19, 2026Updated last month
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Mar 5, 2025Updated 11 months ago
- Find deadlocks in Rust code with Petri net model checking☆56Feb 20, 2026Updated last week
- Turn your brain MRI into a printable 3D model in seconds 🧠➡️🖨️☆13Jan 9, 2025Updated last year
- XML builder macro letting you write XML inside Rust code☆10Nov 15, 2023Updated 2 years ago
- Examples and support libraries for the amdgpu Rust target☆15Dec 4, 2025Updated 2 months ago
- Load and resolve Cargo configuration.☆18Feb 13, 2026Updated 2 weeks ago
- A Rust library for sampling from various distributions☆18Feb 11, 2026Updated 2 weeks ago
- A direct replacement for `assert_eq` for unordered collections☆13Apr 17, 2022Updated 3 years ago
- Helper proc-macro to "ungroup" a captured metavariable☆10Jul 19, 2023Updated 2 years ago
- B-tree range map implementation for Rust☆13Oct 5, 2023Updated 2 years ago
- Interned string and more for rust☆10Dec 29, 2021Updated 4 years ago
- Slides and sources for talks on Tree Borrows☆14Dec 5, 2025Updated 2 months ago
- Examples of Peroxide (Rust numeric library)☆10Mar 7, 2025Updated 11 months ago
- Zero-terminated string types for FFI.☆13Mar 13, 2023Updated 2 years ago
- mdbook on common pitfalls in unsafe rust code☆11May 24, 2019Updated 6 years ago
- The CompCert formally-verified C compiler☆10Updated this week
- Build and runs code in a sandboxed macOS environment☆35Dec 5, 2025Updated 2 months ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Rust crates for MCTP protocol support, on Linux and embedded☆16Feb 18, 2026Updated last week
- ☆13Aug 29, 2022Updated 3 years ago
- Custom formatting for Rust.☆10Nov 21, 2025Updated 3 months ago
- asynchronous deduplicator with optional LRU caching☆12Feb 8, 2026Updated 3 weeks ago
- Hybrid typenum/const generic arrays☆20Feb 12, 2026Updated 2 weeks ago
- Enforce Rust documentation correctness☆14Dec 1, 2022Updated 3 years ago
- HPC Game Platform☆11Apr 20, 2023Updated 2 years ago
- Top GitHub Repositories for AI and ML Enthusiasts☆10Jan 1, 2025Updated last year
- The Chinese Version of The Rust Reference☆10Oct 13, 2024Updated last year
- Breakout Game written in Rust for the ESP32 with an OLED display, using the Embassy framework.☆11Jan 31, 2025Updated last year