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
  ☆152Updated last year
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated last year
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆56Updated last month
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆43Updated 3 months ago
• lizhuohua / rust-ffi-checker
  ☆55Updated 2 years ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆37Updated 2 weeks ago
• VaynNecol / SafeDrop
  A additional Rust compiler pass to detect memory safe bugs of Rust programs.
  ☆15Updated last year
• Artisan-Lab / RAPx
  Rust Analysis Platform
  ☆89Updated this week
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 4 years ago
• rcore-os / rCore_tutorial
  Tutorial for rCore OS step by step (2nd edition)
  ☆142Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆129Updated 3 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆104Updated 11 months ago
• rcore-os / zCore-Tutorial
  [WIP] Tutorial for zCore kernel.
  ☆58Updated 3 years ago
• rcore-os / rCore_tutorial_doc
  Tutorial doc for rCore OS step by step (2nd edition)
  ☆65Updated 4 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆80Updated 2 years ago
• gimli-rs / addr2line
  A cross-platform `addr2line` clone written in Rust, using `gimli`
  ☆370Updated last month
• brucechin / Rust-LSM-KV
  build a simple key value store based on LSM tree like rocksdb/leveldb
  ☆40Updated 5 years ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆234Updated 2 weeks ago
• jiegec / cold
  The cold linker
  ☆71Updated last year
• HUST-OS / tornado-os
  异步内核就像风一样快！
  ☆288Updated 3 years ago
• brson / being-rust
  Intro to Rust talk
  ☆15Updated 2 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆121Updated 5 years ago
• RustTalk / guests
  RustTalk 节目策划
  ☆17Updated last month
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆276Updated 3 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆19Updated 8 years ago
• tikv / minstant
  Performant time measuring in Rust
  ☆194Updated last year
• jiegec / cs140e
  CS140e without Rust is not CS140e. Sergio Benitez plz come back.
  ☆75Updated 5 years ago