Alternatives and similar repositories for Horizon-Microkernel:

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

• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆20Updated 4 years ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 3 years ago
• qword-os / build
  The qword OS build process
  ☆19Updated 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)
  ☆15Updated 2 years ago
• Tiihala / Dancy
  Dancy Operating System
  ☆9Updated this week
• AxFab / kora-kernel
  Kernel for my operating system KoraOS
  ☆17Updated 7 months ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• CorruptedByCPU / Zero
  64 bit bootloader for Cyjon operating system.
  ☆13Updated 3 years ago
• AtieP / Vigil
  An x86_64 operating system
  ☆20Updated 3 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 5 months ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• Thynix / osdev
  A hobby operating system built mostly from scratch.
  ☆8Updated 12 years ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 8 months ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 5 months ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• sleepy-monax / skift-cpp
  A simple, handmade, operating system for intel x86 cpu. Now written in c++ !
  ☆30Updated 4 years ago
• no92 / vineyard
  Moved to:
  ☆12Updated 5 years ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• Stellaris-code / LudOS
  A toy monolithic kernel written in C++
  ☆49Updated 5 years ago
• GrieferAtWork / KOSmk4
  Kaos Operating System 400
  ☆24Updated 2 months ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆90Updated this week
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• lazear / lass
  An x86 assembler that you probably shouldn't use
  ☆22Updated 6 years ago
• darshdudhia / DarshOS
  An Operating System made in my spare time.
  ☆7Updated last year
• Arignir / Poseidon
  🔱 A WIP SMP-aware micro-kernel
  ☆10Updated 3 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆28Updated 6 months ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated last month
• tristanseifert / kush-os
  the kool useful system helper – a from-scratch hobby OS written in C++20
  ☆15Updated 2 years ago
• himanshugoel2797 / Cardinal
  Operating system designed to be fast and secure.
  ☆22Updated 7 years ago