Alternatives and similar repositories for cs3210-rustos-public

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

• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated last year
• mars-research / redleaf
  RedLeaf Operating System
  ☆130Updated 3 years ago
• kaist-cp / rv6
  ☆131Updated 2 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆62Updated 3 months ago
• olivierpierre / unikernel-papers
  ☆123Updated 2 months ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated last year
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated 2 weeks ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 5 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆362Updated 5 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆116Updated last year
• Artisan-Lab / Rust-memory-safety-bugs
  ☆34Updated 3 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated last month
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 11 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆66Updated last year
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 4 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆327Updated 2 weeks ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆158Updated last year
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆64Updated 2 years ago
• lizhuohua / rust-mir-checker
  ☆152Updated last year
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆126Updated 3 years ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 4 years ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 3 months ago
• lizhuohua / rust-ffi-checker
  ☆56Updated 2 years ago
• skyzh / core-os-riscv
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆316Updated 4 years ago
• Jaic1 / xv6-riscv-rust
  ☆75Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago