Alternatives and similar repositories for Horizon-Microkernel:

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

• megabytesofrem / celesteos-old
  x86_64 Microkernel OS with POSIX compliance
  ☆8Updated 3 years ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 3 years ago
• Sayan505 / FuzeOS
  An experimental x86_64 Operating System which Boots on UEFI.
  ☆15Updated 10 months ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆36Updated 4 months ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆49Updated 3 years ago
• ricercaOS / ricerca
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Updated 3 years ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆19Updated 4 years ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated last year
• managarm / lil
  Lightweight Intel gpu Library
  ☆47Updated 3 months ago
• AtieP / Vigil
  An x86_64 operating system
  ☆20Updated 3 years ago
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• N00byEdge / bootelf
  ☆33Updated 3 months 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
• darshdudhia / DarshOS
  An Operating System made in my spare time.
  ☆7Updated last year
• bSchnepp / Feral
  A 64-bit operating system kernel for PCs
  ☆9Updated 3 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• CorruptedByCPU / Zero
  64 bit bootloader for Cyjon operating system.
  ☆13Updated 3 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆18Updated 4 years ago
• niqumu / Aulavik
  Tiny POSIX-like hobby OS written in C
  ☆18Updated last year
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 6 months ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆86Updated 3 weeks ago
• himanshugoel2797 / Cardinal
  Operating system designed to be fast and secure.
  ☆21Updated 7 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 3 months ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆31Updated 2 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆28Updated 3 months ago