Alternatives and similar repositories for cs240lx-22spr:

Users that are interested in cs240lx-22spr are comparing it to the libraries listed below

• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆81Updated last year
• dddrrreee / cs240lx-20spr
  course materials for cs240lx @ stanford
  ☆21Updated 4 years ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆66Updated 4 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆123Updated 2 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆118Updated 4 years ago
• hopter-project / hopter
  A Rust-based embedded operating system designed to enable memory-safe, robust, and responsive embedded applications.
  ☆64Updated last week
• olivierpierre / unikernel-papers
  ☆120Updated 2 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆32Updated last week
• stanford-cs242 / f19-assignments
  ☆32Updated 4 years ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆114Updated last week
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 5 months ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 3 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆62Updated 11 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆97Updated 4 months ago
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆18Updated last week
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆43Updated 3 weeks ago
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 years ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 3 years ago
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆79Updated 5 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆57Updated 2 months ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 2 years ago
• ShawnZhong / xv6-file-system-visualizer
  Online Visualizer for xv6 File System Image
  ☆41Updated 4 years ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last week
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆17Updated 3 years ago
• jaywonchung / reason
  A shell for research papers
  ☆194Updated last year
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆141Updated 3 weeks ago