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
  ☆122Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆103Updated 7 months ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• olivierpierre / unikernel-papers
  ☆114Updated last month
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆73Updated last year
• chyyuu / ostep-code-rust
  ☆12Updated 3 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆356Updated 5 years ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆60Updated 10 months ago
• tsgates / die
  a paper template
  ☆53Updated last year
• rcore-os / RVM
  Rcore Virtual Machine
  ☆113Updated last year
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆118Updated 3 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• andrewhalle / byo-linker
  Build your own - linker
  ☆193Updated 3 years ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆30Updated 2 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆63Updated last year
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆151Updated last year
• syswonder / ruxos
  Rust Unikernel OS
  ☆71Updated last week
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆13Updated 4 years ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆241Updated this week
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆105Updated 2 years ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆72Updated 11 months ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 9 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆31Updated last week
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 4 years ago
• rcore-os / aCore
  Asynchronous OS kernel written in Rust.
  ☆34Updated 4 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆65Updated 5 years ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆150Updated 6 months ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆204Updated 4 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago