Alternatives and similar repositories for Horizon-Microkernel

Users that are interested in Horizon-Microkernel are comparing it to the libraries listed below

• Dashbloxx / chaotix
  The chaotix operating system! (Previously known as Magma or Psychix)
  ☆32Updated 2 years ago
• sleepy-monax / skift-cpp
  A simple, handmade, operating system for intel x86 cpu. Now written in c++ !
  ☆30Updated 4 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• qword-os / build
  The qword OS build process
  ☆19Updated 4 years ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 11 months ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• GrieferAtWork / KOSmk4
  KOS (Kay-OS) Operating System 400
  ☆24Updated this week
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆21Updated 5 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 8 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 9 months ago
• LittleCodingFox / ToastOS
  A x86_64 hobby OS
  ☆26Updated last year
• bSchnepp / Feral
  A 64-bit operating system kernel for PCs
  ☆9Updated 4 years ago
• Tiihala / Dancy
  Dancy Operating System
  ☆9Updated this week
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated 4 months ago
• MacaronOS / Macaron
  A sweet hobby made operating system written in C++ for x86 CPUs with GUI
  ☆46Updated 2 years ago
• CorruptedByCPU / Zero
  64 bit bootloader for Cyjon operating system.
  ☆13Updated 4 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• pepsipu / xinOS-old
  XIN Isn't NES: An operating system to mimic the days of the NES. Play your favorite retro games as if you were back at your Commodore 64.…
  ☆29Updated 4 years ago
• V01D-NULL / limine-terminal-port
  A port of the limine terminal which won't interfere with any user level address spaces (i.e. it's not in lower half memory anymore)
  ☆16Updated 2 years ago
• Thynix / osdev
  A hobby operating system built mostly from scratch.
  ☆9Updated 12 years ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆49Updated 3 years ago
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆30Updated 2 years ago
• Stellaris-code / LudOS
  A toy monolithic kernel written in C++
  ☆47Updated 6 years ago
• catmaster1010 / flan
  if unix was made by a monkey with a typewritter
  ☆16Updated last year
• GabrielRRussell / KoiOS
  Koi Operating System, Senior Mastery Capstone Project 2020
  ☆24Updated 5 years ago
• VitruvianOS / Vitruvian
  Vitruvian is the Operating System with the human at the center.
  ☆42Updated 4 months ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• Matt146 / ArmOS
  (In-progress) Writing my own operating system
  ☆14Updated 3 years ago
• AtieP / Vigil
  An x86_64 operating system
  ☆20Updated 4 years ago