Alternatives and similar repositories for cs537-sp23-discussion

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

• siddharthsingh / OS
  ☆11Updated 7 years ago
• chaudharirohit2810 / xv6-mmap
  Implementation of mmap system call in xv6
  ☆15Updated 4 years ago
• stwjivan / xv6-with-MLFQ
  ☆11Updated 9 years ago
• jabezwinston / Earliest_Deadline_First
  Earliest Deadline First - C program
  ☆19Updated 4 years ago
• joeylemon / xv6-threads
  kernel threads in xv6
  ☆14Updated 4 years ago
• avaiyang / xv6-lottery-scheduling
  ☆11Updated 7 years ago
• shreyaakamath / Xv6-MLFQ-Scheduler
  xv6 MLFQ scheduler for CS 537 project 2
  ☆19Updated 10 years ago
• devang-m / CS537
  Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System
  ☆20Updated 6 years ago
• uuverifiers / princess
  The Princess Theorem Prover
  ☆30Updated this week
• TiarkRompf / lms-clean
  ☆56Updated 8 months ago
• beehive-lab / TornadoVM-Ray-Tracer
  A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM
  ☆12Updated 3 weeks ago
• lehaoda / Operating-System-Class-Project---Add-Lottery-Scheduler-to-xv6
  replace the current round robin scheduler in xv6 with a lottery scheduler
  ☆13Updated 6 years ago
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆63Updated last month
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated this week
• j-mie6 / parsley-cats
  Typeclass instances for `parsley` to make it compatible with `cats`
  ☆13Updated 10 months ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated 2 years ago
• Furyton / xv6-lab
  implementation of xv6 labs from MIT 6.S081 2020
  ☆12Updated 3 years ago
• Harvard-CS-1200 / cs1200
  Public repository for CS 1200 (Intro to Algorithms and their Limitations)
  ☆50Updated last month
• fredfeng / CS162
  Programming languages
  ☆40Updated this week
• makingthematrix / signals3
  A lightweight event streaming library for Scala 3
  ☆14Updated last week
• MadeInShineA / forest-fire-simulation
  A scalable, cross-language, probabilistic wildfire simulation engine for research, visualization, and experimentation.
  ☆21Updated 6 months ago
• liusy58 / xv6
  ☆21Updated 2 years ago
• funfix / tasks
  Task datatype, meant for cross-language interop (Java, Kotlin, Scala)
  ☆14Updated 4 months ago
• dominique-unruh / scala-isabelle
  A Scala library for controlling/interacting with Isabelle
  ☆40Updated 6 months ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 11 months ago
• kbielefe / advent-of-code
  For sharing my adventofcode.com solutions
  ☆14Updated 11 months ago
• sterglee / dottylab
  An implementation of ScalaLab for Scala 3 (Dotty)
  ☆17Updated 3 years ago
• scala-native / scala-native-cli
  Command Line Interface for Scala Native
  ☆18Updated 2 months ago
• scalacenter / tasty-mima
  TASTy Migration Manager
  ☆12Updated 3 months ago
• inkytonik / kiama
  A Scala library for language processing.
  ☆48Updated last year