Alternatives and similar repositories for cs3210-rustos-public

Users that are interested in cs3210-rustos-public are comparing it to the libraries listed below

• mars-research / redleaf
  RedLeaf Operating System
  ☆127Updated 3 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated 10 months ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆73Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆360Updated 5 years ago
• olivierpierre / unikernel-papers
  ☆123Updated 2 weeks ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆120Updated 3 years ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 5 years ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆158Updated last year
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆119Updated 2 years ago
• chyyuu / ostep-code-rust
  ☆12Updated 3 years ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆157Updated last year
• rcore-os / RVM
  Rcore Virtual Machine
  ☆115Updated last year
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆65Updated last year
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 5 months ago
• tsgates / die
  a paper template
  ☆55Updated 2 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆207Updated 4 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated 2 years ago
• jiegec / cs140e
  CS140e without Rust is not CS140e. Sergio Benitez plz come back.
  ☆75Updated 5 years ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆30Updated 3 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆60Updated last month
• skyzh / core-os-riscv
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆315Updated 4 years ago
• stanford-cs242 / f19-assignments
  ☆31Updated 5 years ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated last month
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆263Updated this week
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆196Updated 5 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 4 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago