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
• MohamedSa3eed / OSTEP
  My solutions for "Operating Systems: three easy pieces" projects
  ☆11Updated 2 years ago
• uuverifiers / princess
  The Princess Theorem Prover
  ☆31Updated this week
• liusy58 / xv6
  ☆21Updated 2 years ago
• stwjivan / xv6-with-MLFQ
  ☆11Updated 9 years ago
• chaudharirohit2810 / xv6-mmap
  Implementation of mmap system call in xv6
  ☆15Updated 4 years ago
• avaiyang / xv6-lottery-scheduling
  ☆11Updated 7 years ago
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆64Updated last week
• Furyton / xv6-lab
  implementation of xv6 labs from MIT 6.S081 2020
  ☆12Updated 3 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated 2 years ago
• arktekk / scala3-scalafix
  ☆11Updated last year
• joeylemon / xv6-threads
  kernel threads in xv6
  ☆14Updated 4 years ago
• rjolly / scas
  Scala Algebra System
  ☆17Updated last month
• chrisokasaki / hwtest
  A Scala testing library for homeworks
  ☆10Updated 3 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
• realdanvanth / compiler
  x86_64 compiler written in java
  ☆52Updated 2 weeks ago
• jabezwinston / Earliest_Deadline_First
  Earliest Deadline First - C program
  ☆19Updated 4 years ago
• kcrypt / scala-biginteger
  BigInteger for scala with very fast modPow
  ☆10Updated last week
• Aliics / mouse
  Small, simple, minimal HTTP library written in Scala.
  ☆11Updated last year
• MadeInShineA / forest-fire-simulation
  A scalable, cross-language, probabilistic wildfire simulation engine for research, visualization, and experimentation.
  ☆21Updated 7 months ago
• scala / scala3-staging.g8
  ☆10Updated last week
• bishabosha / enhanced-string-interpolator
  An enhanced glob interpolator for Scala with format strings
  ☆14Updated last year
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆15Updated 6 years ago
• shardulc / tasty-interpreter
  Reference interpreter for TASTy, the Scala 3 interchange format
  ☆13Updated 2 years ago
• j-mie6 / parsley-cats
  Typeclass instances for `parsley` to make it compatible with `cats`
  ☆14Updated last week
• beehive-lab / TornadoVM-Ray-Tracer
  A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM
  ☆12Updated last month
• scala-native / scala-native-cli
  Command Line Interface for Scala Native
  ☆19Updated this week
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆29Updated this week
• cquiroz / sbt-locales
  Plugin to produce locales dbs
  ☆11Updated 3 weeks ago
• TiarkRompf / lms-clean
  ☆56Updated 9 months ago