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 10 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆124Updated 3 years ago
• olivierpierre / unikernel-papers
  ☆122Updated 4 months ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• tsgates / die
  a paper template
  ☆54Updated 2 years ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆120Updated 3 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆359Updated 5 years ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆73Updated last year
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated last year
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆35Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆65Updated last year
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆117Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆59Updated last month
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 5 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆65Updated 5 years ago
• stanford-cs242 / f19-assignments
  ☆32Updated 5 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆35Updated last month
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 3 weeks ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆30Updated 3 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆108Updated 2 years ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆107Updated last year
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆156Updated last year
• 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
• chyyuu / ostep-code-rust
  ☆12Updated 3 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆104Updated 6 months ago