Alternatives and similar repositories for cs537-sp23-discussion

Users that are interested in cs537-sp23-discussion are comparing it to the libraries listed below

• devang-m / CS537
  Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System
  ☆19Updated 6 years ago
• edydfang / UW-Madison-CS537
  Operating System Projects
  ☆9Updated 5 years ago
• lehaoda / Operating-System-Class-Project---Add-Lottery-Scheduler-to-xv6
  replace the current round robin scheduler in xv6 with a lottery scheduler
  ☆12Updated 5 years ago
• liusy58 / xv6
  ☆20Updated 2 years ago
• avaiyang / xv6-lottery-scheduling
  ☆11Updated 7 years ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 3 months ago
• chaudharirohit2810 / xv6-mmap
  Implementation of mmap system call in xv6
  ☆15Updated 4 years ago
• siddharthsingh / OS
  ☆11Updated 7 years ago
• swrj / xv6-Kernel-Threads
  XV6 Kernel Threads
  ☆6Updated 6 years ago
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆53Updated last year
• stwjivan / xv6-with-MLFQ
  ☆11Updated 8 years ago
• brown-cs1690 / handout
  All handouts will be here
  ☆27Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆124Updated last month
• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆48Updated 3 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• cs544-wisc / f23
  ☆22Updated last year
• jabezwinston / Earliest_Deadline_First
  Earliest Deadline First - C program
  ☆19Updated 3 years ago
• pkusys / Halfmoon
  Implementation of the logging layer of our SOSP '23 paper Halfmoon
  ☆11Updated last year
• Furyton / xv6-lab
  implementation of xv6 labs from MIT 6.S081 2020
  ☆12Updated 2 years ago
• WilliamX1 / tiger-compiler
  tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).
  ☆48Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆149Updated last month
• BinyuHuang-nju / zab-tla
  Specifying and Verfying Zab using TLA+
  ☆10Updated 3 years ago
• skyzh / mips-simulator
  💻 A 5-stage pipeline MIPS CPU design in Haskell.
  ☆36Updated 4 years ago
• TiarkRompf / lms-clean
  ☆55Updated 3 weeks ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• codeAligned / CMU-15213-Lab
  Source code and solution to CMU 15-213
  ☆122Updated 9 months ago
• pocs-epfl / public
  POCS materials for the public
  ☆10Updated 3 months ago
• carlosedp / riscvassembler
  A RISC-V assembler library for Scala/Chisel HDL projects
  ☆14Updated last month
• CTSRD-CHERI / cheri-exercises
  Learning exercises for CHERI
  ☆21Updated 6 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last month