Alternatives and similar repositories for 6.826-2020-labs:

Users that are interested in 6.826-2020-labs are comparing it to the libraries listed below

• stanford-cs242 / f19-assignments
  ☆29Updated 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.
  ☆67Updated 4 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆103Updated 5 months ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated last month
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆37Updated last year
• NetSys / cs168_proj_routing_student
  CS168 Project 1: Routing
  ☆14Updated 4 years ago
• glarer / UserspaceBypass
  ☆51Updated 8 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆53Updated 3 months ago
• uclasystem / DRust
  ☆43Updated 3 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆26Updated last month
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆10Updated this week
• WiscADSL / uFS
  A Filesystem Semi-Microkernel.
  ☆37Updated last year
• MashPlant / db
  A database management system implemented in Rust from scratch.
  ☆22Updated 3 years ago
• SHTUSIST / AisLSM
  ☆11Updated 7 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆115Updated 4 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• mars-research / redleaf
  RedLeaf Operating System
  ☆120Updated 2 years ago
• iaGuoZhi / system-study-resources
  Study materials collected while studying
  ☆50Updated 2 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆12Updated 2 months ago
• NJU-ProjectN / os-workbench
  ☆18Updated 3 years ago
• howardlau1999 / hcache-uring
  2022 ECS CloudBuild Distributed Cache Contest - Final Round https://tianchi.aliyun.com/competition/entrance/531982/introduction
  ☆17Updated 2 years ago
• GCYYfun / DailySchedule
  《日常》
  ☆18Updated 3 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• viktorleis / mmapbench
  ☆132Updated 2 years ago
• rssys / on-demand-fork
  On-demand-fork
  ☆32Updated last year
• oscomp / proj23-lightweight-hypervisor
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Updated 4 years ago