Alternatives and similar repositories for RPL:

Users that are interested in RPL are comparing it to the libraries listed below

• ia0 / unsafe-mental-model
  Mental model for unsafe in Rust
  ☆16Updated 2 months ago
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆34Updated 3 weeks ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆73Updated 10 months ago
• js2xxx / ferroc
  A lock-free memory allocator
  ☆57Updated last week
• Artisan-Lab / RAPx
  Rust Analysis Platform
  ☆60Updated this week
• KomaEc / crown
  Ownership analysis that helps translating C to Rust
  ☆20Updated last year
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆105Updated 7 months ago
• os-checker / os-checker
  对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计
  ☆44Updated this week
• Evian-Zhang / static-keys
  Static keys for Rust userland applications
  ☆57Updated 2 months ago
• lizhuohua / rust-mir-checker
  ☆147Updated 11 months ago
• nikomatsakis / babysteps
  Babysteps blog
  ☆36Updated last month
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆40Updated last year
• PrivateRookie / lsp-types
  Native lsp types for rust
  ☆36Updated last year
• rustsbi / fast-trap
  快速陷入处理
  ☆35Updated 2 months ago
• rust-lang / trait-system-refactor-initiative
  The Rustc Trait System Refactor Initiative
  ☆22Updated 7 months ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆73Updated last year
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆147Updated 3 weeks ago
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆51Updated last week
• rcore-os / aCore
  Asynchronous OS kernel written in Rust.
  ☆34Updated 4 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆76Updated 3 months ago
• endorlabs / MIRAI
  ☆139Updated last month
• crlf0710 / repository-rs
  Repository of all kinds of entities.
  ☆14Updated 2 years ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆64Updated last year
• danielhenrymantilla / visibility.rs
  Attribute to override the visibility of items (useful in conjunction with cfg_attr)
  ☆13Updated 8 months ago
• ucarion / llvm-rust-getting-started
  A super-simple compiler demoing how to talk to LLVM from Rust
  ☆93Updated 8 years ago
• nikomatsakis / polonius.next
  experimental datalog rules for a next gen polonius
  ☆19Updated 2 years ago
• HUST-OS / luojia-os-labs
  洛佳的异步内核实验室
  ☆25Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• SchrodingerZhu / paguroidea
  A reimplementation of the Flap parser in Rust (with our own modifications applied)!
  ☆53Updated last year
• nextest-rs / datatest-stable
  Data-driven tests on stable Rust
  ☆39Updated this week