Alternatives and similar repositories for iros

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

• managarm / libasync
  Async primitives library for C++20
  ☆18Updated last week
• tiagoporsch / os
  Compilation of my own bootloader, kernel, libc, and userspace programs, all in x86-64
  ☆17Updated 2 years ago
• UltraOS / UltraLegacy
  An operating system that doesn't try to be UNIX. Made completely from scratch with its own bootloader. 😊 (Superseded by https://github.c…
  ☆50Updated 4 years ago
• managarm / frigg
  Lightweight C++ utilities and algorithms for system programming
  ☆63Updated last week
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated last year
• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆42Updated 5 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated 3 months ago
• libcxxrt / libcxxrt
  C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)
  ☆46Updated 8 months ago
• griwes / reaveros
  A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…
  ☆14Updated last week
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆27Updated 2 years ago
• khoek / k-os
  Keeley's - Operating System (K-OS)
  ☆17Updated 4 years ago
• GrieferAtWork / KOSmk4
  KOS (Kay-OS) Operating System 400
  ☆24Updated last month
• patrick-lafferty / saturn
  A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
  ☆24Updated 5 years ago
• alnyan / ygg-kernel-amd64
  [mirror] Yggdrasil kernel - x86-64 Unix-like kernel
  ☆14Updated 4 years ago
• AshishKumar4 / Aqeous
  (Inactive, Was a 15 year old child's attempt at making an OS. Checkout AvanaOS, Rewrite of this) This is a New Operating System (Kernel r…
  ☆30Updated 4 years ago
• xenos1984 / NOS
  Operating system project
  ☆33Updated 6 months ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• KamalDevelopers / GodsEyeView
  The next most holy operating system.
  ☆58Updated 7 months ago
• miselin / pedigree
  The Pedigree Operating System
  ☆53Updated 2 years ago
• pgrAm / JSD-OS
  A small operating system for 32 bit x86
  ☆61Updated 3 years ago
• lightning-speed / AtomOS
  An x86 Operating System written in C++ and C
  ☆22Updated 2 years ago
• maxtyson123 / MaxOS
  A 64bit hobby operating system written in C++
  ☆53Updated 2 weeks ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 2 months ago
• catmaster1010 / flan
  if unix was made by a monkey with a typewritter
  ☆16Updated last year
• corigan01 / FluxedOS
  A hobbyist OS project!
  ☆23Updated 3 years ago
• daedaleanai / libsupcxx
  A bare metal port of the GNU ISO C++ library
  ☆39Updated 2 years ago
• jjwang / HanOS
  Microkernel-based General Purpose Operating System #Hobby OS#
  ☆51Updated last week
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆65Updated 3 years ago
• FireflyOS / Firefly-Kernel
  Kernel for FireflyOS to help beginners learn about osdev hands on.
  ☆55Updated 2 years ago
• LittleCodingFox / ToastOS
  A x86_64 hobby OS
  ☆25Updated 2 years ago