Alternatives and similar repositories for cs537-sp23-discussion:

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

• edydfang / UW-Madison-CS537
  Operating System Projects
  ☆9Updated 5 years ago
• swrj / xv6-Kernel-Threads
  XV6 Kernel Threads
  ☆7Updated 6 years ago
• liusy58 / xv6
  ☆20Updated last year
• Furyton / xv6-lab
  implementation of xv6 labs from MIT 6.S081 2020
  ☆13Updated 2 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆22Updated last year
• siddharthsingh / OS
  ☆11Updated 6 years ago
• avaiyang / xv6-lottery-scheduling
  ☆12Updated 6 years ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆10Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 8 months ago
• devang-m / CS537
  Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System
  ☆20Updated 5 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆19Updated 2 years ago
• chaudharirohit2810 / xv6-mmap
  Implementation of mmap system call in xv6
  ☆15Updated 3 years ago
• fredfeng / CS162
  Programming languages
  ☆35Updated this week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• chenyxuan / PintOS
  system 2019 project
  ☆13Updated 4 years ago
• carlosedp / riscvassembler
  A RISC-V assembler library for Scala/Chisel HDL projects
  ☆13Updated 2 months ago
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆170Updated 3 weeks ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 4 years ago
• lehaoda / Operating-System-Class-Project---Add-Lottery-Scheduler-to-xv6
  replace the current round robin scheduler in xv6 with a lottery scheduler
  ☆13Updated 5 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆22Updated last year
• avivmag / XV6-Kernel-Level-Threads-Synchronization-And-Memory-Management
  The famous XV6 operating system with extension to support kernel level threads, synchronization primitives and Copy On Write (COW) optimi…
  ☆7Updated 7 years ago
• jabezwinston / Earliest_Deadline_First
  Earliest Deadline First - C program
  ☆20Updated 3 years ago
• victoryang00 / computer-architecture-revisit-a-quantitative-approach
  This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine graine…
  ☆25Updated 11 months ago
• gboduljak / stanford-compilers-coursework
  This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…
  ☆54Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆120Updated 2 years ago
• shradhash / implementing-kernel-threads-in-xv6
  Implementing clone and join system calls for kernel thread handling in xv6
  ☆8Updated 9 years ago
• chipsalliance / rocket-chip-inclusive-cache
  An RTL generator for a last-level shared inclusive TileLink cache controller
  ☆15Updated this week
• WilliamX1 / tiger-compiler
  tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).
  ☆46Updated 2 years ago
• Miigon / my-xv6-labs-2020
  my code for the labs for mit6.s081/2020
  ☆40Updated 5 months ago