CS161 / chickadee

Related projects ⓘ

Alternatives and complementary repositories for chickadee

• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆187Updated 4 years ago
• uw-unsat / hyperkernel
  ☆181Updated 4 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆112Updated 4 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆249Updated 4 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• swetland / xv6
  64bit port of xv6
  ☆125Updated 5 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆168Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆134Updated 2 months ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆66Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆119Updated 2 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆110Updated last month
• rems-project / rmem
  rmem public repo
  ☆40Updated 3 months ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆129Updated 4 years ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆155Updated 8 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆67Updated 4 months ago
• uchicago-cs / chidb
  ☆65Updated last year
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆46Updated last week
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆227Updated this week
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆66Updated 6 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆154Updated 3 years ago
• viktorleis / mmapbench
  ☆130Updated 2 years ago
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆51Updated 6 months ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆279Updated 2 years ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆164Updated this week
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆49Updated this week
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆12Updated 8 years ago
• stanford-cs242 / f19-assignments
  ☆28Updated 4 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆63Updated 4 years ago