Alternatives and similar repositories for operating-systems:

Users that are interested in operating-systems are comparing it to the libraries listed below

• open-education-hub / essentials-security
  Security Summer School: Security Essentials Track
  ☆18Updated 5 months ago
• acs-pa / pa-lab
  ACS - Proiectarea Algoritmilor (lab)
  ☆13Updated last year
• unikraft / docs
  The front page and documentation for the Unikraft Open-Source Project.
  ☆36Updated last week
• open-education-hub / binary-security
  Security Summer School, Binary track
  ☆27Updated 6 months ago
• systems-cs-pub-ro / iocla
  Repository public IOCLA
  ☆23Updated 4 months ago
• TunaCici / QEMU_Starter
  Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.
  ☆76Updated last year
• mariasfiraiala / SO-exam
  Questions + answers for the SO interview exam
  ☆78Updated this week
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆46Updated 3 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆26Updated 3 months ago
• craciunoiuc / acs-homework-index
  An index page to all of the homework from the university on this account.
  ☆11Updated last year
• airbus-seclab / c-compiler-security
  Security-related flags and options for C compilers
  ☆188Updated 2 years ago
• open-education-hub / web-security
  Security Summer School, Web track
  ☆24Updated 5 months ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆50Updated this week
• hygoni / awesome-linux-kernel
  Useful resources for learning kernel
  ☆17Updated 3 years ago
• error27 / smatch
  Static Analyser for C
  ☆106Updated last week
• olivierpierre / unikernel-papers
  ☆112Updated 2 months ago
• systems-cs-pub-ro / carte-uso
  Cartea "Utilizarea sistemelor de operare"
  ☆39Updated 11 months ago
• arighi / virtme-ng
  Quickly build and run kernels inside a virtualized snapshot of your live system
  ☆489Updated last week
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆98Updated 2 years ago
• vusec / floatzone
  ☆67Updated 6 months ago
• shao-hua-li / CompDiff
  ☆35Updated last year
• llsoftsec / llsoftsecbook
  Low-Level Software Security for Compiler Developers
  ☆535Updated 2 weeks ago
• linux-kernel-labs / linux
  Linux kernel source tree
  ☆375Updated 2 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆99Updated last week
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆56Updated 9 months ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆79Updated this week
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆135Updated 7 months ago
• martinradev / gdb-pt-dump
  ☆148Updated 2 weeks ago
• intel / tsffs
  A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS
  ☆285Updated last month
• CTSRD-CHERI / cheri-exercises
  Learning exercises for CHERI
  ☆19Updated 3 months ago