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
  ☆104Updated last year
• mars-research / redleaf
  RedLeaf Operating System
  ☆129Updated 3 years ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆62Updated 3 months ago
• olivierpierre / unikernel-papers
  ☆123Updated last month
• Artisan-Lab / Rust-memory-safety-bugs
  ☆34Updated 3 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 5 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 weeks ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆65Updated last year
• rcore-os / RVM
  Rcore Virtual Machine
  ☆116Updated last year
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆158Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated 11 months ago
• tsgates / die
  a paper template
  ☆56Updated this week
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 2 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆64Updated 2 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆361Updated 5 years ago
• lizhuohua / rust-ffi-checker
  ☆55Updated 2 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆38Updated this week
• lizhuohua / rust-mir-checker
  ☆152Updated last year
• chyyuu / ostep-code-rust
  ☆12Updated 3 years ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆120Updated 3 years ago
• Jaic1 / xv6-riscv-rust
  ☆75Updated 3 years ago
• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago