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
  ☆17Updated 8 months ago
• unikraft / docs
  The front page and documentation for the Unikraft Open-Source Project.
  ☆35Updated 2 months ago
• acs-pa / pa-lab
  ACS - Proiectarea Algoritmilor (lab)
  ☆14Updated this week
• open-education-hub / binary-security
  Security Summer School, Binary track
  ☆27Updated 9 months ago
• systems-cs-pub-ro / iocla
  Repository public IOCLA
  ☆24Updated 6 months ago
• systems-cs-pub-ro / carte-uso
  Cartea "Utilizarea sistemelor de operare"
  ☆40Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆32Updated this week
• linux-kernel-labs / linux
  Linux kernel source tree
  ☆384Updated 4 months ago
• danbev / learning-linux-kernel
  Just a project with notes and code about the Linux kernel
  ☆52Updated 3 years ago
• open-education-hub / web-security
  Security Summer School, Web track
  ☆24Updated 2 months ago
• FlorentRevest / linux-kernel-vscode
  Reference setup for Linux kernel development in VSCode
  ☆235Updated 2 weeks ago
• martinradev / gdb-pt-dump
  ☆156Updated 2 months ago
• intel / tsffs
  A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS
  ☆297Updated this week
• TunaCici / QEMU_Starter
  Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.
  ☆82Updated last year
• unikraft / gsoc
  Unikraft Google Summer of Code
  ☆14Updated last month
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆47Updated 5 months ago
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆39Updated this week
• hygoni / awesome-linux-kernel
  Useful resources for learning kernel
  ☆17Updated 3 years ago
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆106Updated 2 years ago
• error27 / smatch
  Static Analyser for C
  ☆114Updated 2 weeks ago
• IntelLabs / kAFL
  A fuzzer for full VM kernel/driver targets
  ☆683Updated 2 weeks ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆116Updated last week
• google / centipede
  ☆253Updated last year
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆70Updated 3 years ago
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆148Updated 9 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆113Updated this week
• google / gwpsan
  GWPSan: Sampling-Based Sanitizer Framework
  ☆314Updated last week
• wkz / kmemd
  Explore a live Linux kernel's memory using GDB
  ☆114Updated 2 years ago
• vishalchovatiya / Linux-System-Programming
  Examples for Programming Linux System Softwares
  ☆26Updated 8 years ago
• google / silifuzz
  ☆402Updated this week