Alternatives and similar repositories for basilica-os

Users that are interested in basilica-os are comparing it to the libraries listed below

• sigma-os / Sigma
  Abandoned overcomplicated Microkernel using modern x86_64 features
  ☆44Updated 4 years ago
• mszoek / hydrogen
  A little toy OS written over a few months in 2019. 64-bit, preemptive multitasking kernel supporting EFI, PCIe, SATA, framebuffer graphic…
  ☆38Updated 5 years ago
• Ampferl / obsidian
  Obsidian is a simple operating system kernel written in C++.
  ☆13Updated 4 years ago
• maxtyson123 / MaxOS
  A 64bit hobby operating system written in C++
  ☆50Updated 2 weeks ago
• christianb93 / ctOS
  ctOS is a bit 32 bit Unix-like operating system that I developed as a toy project
  ☆37Updated 6 years ago
• klange / toarucc
  (wip) toaru c compiler
  ☆18Updated 6 years ago
• 0jk6 / hos-x86
  A simple Unix like operating system from scratch.
  ☆1Updated 4 years ago
• wisepythagoras / dart
  A Unix/Linux like operating system
  ☆20Updated 5 years ago
• kuroko-lang / kuroko-efi
  Kuroko built to run on UEFI.
  ☆10Updated 8 months ago
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated 3 months ago
• peterzuger / libc
  C standard library for embedded systems
  ☆9Updated 11 months ago
• JasonBrave / PanicOS
  A simple x86 operating system with graphical user space
  ☆61Updated last year
• dreamos82 / DreamOs
  A small 32 bit Operating system written from scratch
  ☆71Updated last year
• collinsmichael / spartan
  Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind
  ☆12Updated 7 years ago
• GandelXIV / pidi-os
  A minimalistic operating system
  ☆39Updated 2 years ago
• alimpfard / citron
  General purpose programming language (mainly for unix-like systems)
  ☆66Updated 3 months ago
• itamar8910 / DarkForest
  x86 operating system
  ☆36Updated 2 years ago
• osdev0 / libgcc-binaries
  Moved to codeberg: https://codeberg.org/osdev/libgcc-binaries
  ☆10Updated last month
• AtieP / AtieDOS
  A 16 bit operating system made from enthusiasts to enthusiasts with love
  ☆33Updated 4 years ago
• zesterer / tupai
  A modular POSIX-like operating system created for educational purposes
  ☆19Updated 7 years ago
• ackOS-project / ackOS
  A hobby operating system I've been building. Please refer to the 'rewrite' branch to see the ongoing rewrite.
  ☆87Updated 5 months ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆63Updated 2 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆63Updated last year
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 7 months ago
• managarm / libasync
  Async primitives library for C++20
  ☆18Updated this week
• 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…
  ☆29Updated 3 years ago
• povilasb / simple-os
  Simple multiprocess operating system running on x86 CPUs.
  ☆63Updated 5 years ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• bistcuite / unox-os
  Unox is an educational unix-like operating system. #JustForFun
  ☆23Updated 2 years ago
• managarm / bootstrap-managarm
  Patches and build scripts to build a managarm distribution
  ☆38Updated this week