Alternatives and similar repositories for operating-systems:

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

• unikraft / docs
  The front page and documentation for the Unikraft Open-Source Project.
  ☆35Updated 2 weeks ago
• open-education-hub / essentials-security
  Security Summer School: Security Essentials Track
  ☆17Updated 9 months ago
• acs-pa / pa-lab
  ACS - Proiectarea Algoritmilor (lab)
  ☆14Updated last week
• open-education-hub / binary-security
  Security Summer School, Binary track
  ☆27Updated 9 months ago
• llsoftsec / llsoftsecbook
  Low-Level Software Security for Compiler Developers
  ☆550Updated last month
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆148Updated 10 months ago
• systems-cs-pub-ro / iocla
  Repository public IOCLA
  ☆24Updated 7 months ago
• hygoni / awesome-linux-kernel
  Useful resources for learning kernel
  ☆18Updated 3 years ago
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆107Updated 2 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆48Updated last week
• MaaSTaaR / 539kernel
  539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…
  ☆223Updated last year
• danbev / learning-linux-kernel
  Just a project with notes and code about the Linux kernel
  ☆52Updated 3 years ago
• google / silifuzz
  ☆403Updated this week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆115Updated 2 weeks ago
• martinradev / gdb-pt-dump
  ☆157Updated 3 months ago
• qualcomm / eld
  Embedded Linker
  ☆147Updated this week
• systems-cs-pub-ro / carte-uso
  Cartea "Utilizarea sistemelor de operare"
  ☆41Updated last year
• error27 / smatch
  Static Analyser for C
  ☆115Updated 2 weeks ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆33Updated this week
• FlorentRevest / linux-kernel-vscode
  Reference setup for Linux kernel development in VSCode
  ☆241Updated last month
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆68Updated 3 years ago
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆33Updated last month
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• TunaCici / QEMU_Starter
  Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.
  ☆84Updated last year
• TartanLlama / sdb
  Source code for the book Building a Debugger
  ☆256Updated last week
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆223Updated last week
• linux-kernel-labs / linux
  Linux kernel source tree
  ☆386Updated 5 months ago
• matthriscu / TBH
  ☆17Updated 2 years ago
• ghaiklor / awesome-internals
  A curated list of awesome resources and learning materials in the field of X internals
  ☆139Updated 8 months ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆647Updated last month