Alternatives and similar repositories for 6.004_courseware

Users that are interested in 6.004_courseware are comparing it to the libraries listed below

• benwei / MIT-JOS
  Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.
  ☆77Updated 8 years ago
• nelhage / ministrace
  A minimal toy implementation of strace(1)
  ☆180Updated 2 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆250Updated 3 years ago
• wh5a / jos
  An MIT teaching OS
  ☆44Updated 15 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆101Updated 10 months ago
• jserv / kernel-in-kernel
  Develop your own OS kernel by reusing Linux infrastructure
  ☆175Updated 10 years ago
• junrushao / Final-Fanatic-Facility
  A C compiler with SSA-based backend optimzation
  ☆15Updated 9 years ago
• nviennot / linux-2.6-scribe
  Scribe: the record-replay mechanism
  ☆35Updated 13 years ago
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• hjl-tools / x86-psABI
  ☆393Updated 5 years ago
• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆46Updated 3 years ago
• Berkeley-CS162 / vagrant
  The Vagrant Virtual Machine for CS 162 students.
  ☆57Updated last year
• germanoa / compiladores
  ☆617Updated 3 years ago
• liudangyi / homebrew-i386-jos-elf-gcc
  For MIT 6.828 Operating System Engineering
  ☆39Updated 5 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• fdu-ics / programming-assignment
  ☆12Updated 7 years ago
• libos-nuse / net-next-nuse
  Network Stack in Userspace
  ☆306Updated this week
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆40Updated 5 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆713Updated last week
• dddrrreee / cs140e-win19
  cs140e winter 2019 class materials.
  ☆138Updated 5 years ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆178Updated last year
• rjeschke / x86.renejeschke.de
  ☆141Updated 7 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• cil-project / cil
  C Intermediate Language
  ☆386Updated 2 years ago
• guilleiguaran / xv6
  mirror of the source code of the Xv6 operating system
  ☆484Updated 2 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• HOL-Theorem-Prover / HOL
  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…
  ☆703Updated last week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• BarclayII / AIMv6
  Reimplementation and extension of teaching operating system xv6, supersedes xv6-Loongson3a
  ☆16Updated 5 years ago