Alternatives and similar repositories for rust-study

Users that are interested in rust-study are comparing it to the libraries listed below

• lizhuohua / rust-mir-checker
  ☆160Updated last year
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆60Updated 5 months ago
• lizhuohua / rust-ffi-checker
  ☆62Updated 2 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆65Updated 2 years ago
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆50Updated 7 months ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆102Updated 4 years ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• Artisan-Lab / RAPx
  Rust Analysis Platform
  ☆123Updated 2 weeks ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆136Updated 3 years ago
• VaynNecol / SafeDrop
  A additional Rust compiler pass to detect memory safe bugs of Rust programs.
  ☆16Updated last year
• rcore-os / rCore_tutorial
  Tutorial for rCore OS step by step (2nd edition)
  ☆142Updated 2 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆125Updated 5 years ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆246Updated 4 months ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated 2 weeks ago
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆569Updated 2 years ago
• rcore-os / zCore-Tutorial
  [WIP] Tutorial for zCore kernel.
  ☆58Updated 4 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• ZhangHanDong / rust-code-reading-club
  Rust 源码阅读俱乐部
  ☆60Updated 4 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 years ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated last year
• RustTalk / guests
  RustTalk 节目策划
  ☆17Updated 5 months ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆275Updated 3 years ago
• hidva / as2cfg
  Construct the CFG(Control Flow Graph) from intel assembly code
  ☆63Updated 3 years ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆34Updated 3 years ago
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆122Updated last week
• rcore-os / rCore_tutorial_doc
  Tutorial doc for rCore OS step by step (2nd edition)
  ☆65Updated 5 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆75Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆40Updated last year
• rcore-os / zcore_tutorial_developers
  zcore_tutorial文档撰写工作以及单元测试工作组
  ☆19Updated 5 years ago
• chyyuu / ostep-code-rust
  ☆13Updated 3 years ago