Alternatives and similar repositories for Horizon-Microkernel

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

• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 7 months ago
• CPL-1 / CPL-1
  Operating system in C written for fun and glory
  ☆34Updated 4 years ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆21Updated 5 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 7 months ago
• sleepy-monax / skift-cpp
  A simple, handmade, operating system for intel x86 cpu. Now written in c++ !
  ☆30Updated 4 years ago
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 9 months ago
• Qwinci / crescent
  A custom OS distribution
  ☆20Updated 3 weeks ago
• LittleCodingFox / ToastOS
  A x86_64 hobby OS
  ☆26Updated last year
• 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
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆50Updated 3 years ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 10 months ago
• Thynix / osdev
  A hobby operating system built mostly from scratch.
  ☆9Updated 12 years ago
• managarm / bootstrap-managarm
  Patches and build scripts to build a managarm distribution
  ☆38Updated last week
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• ry755 / fennecos
  FennecOS - a small 32-bit x86 operating system
  ☆38Updated 2 weeks ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆30Updated 2 years ago
• AtieP / Vigil
  An x86_64 operating system
  ☆20Updated 3 years ago
• GrieferAtWork / KOSmk4
  KOS (Kay-OS) Operating System 400
  ☆24Updated last week
• xrarch / aisix
  multitasking OS written in dragonfruit (defunct)
  ☆5Updated 11 months ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆51Updated 2 years ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated 3 months ago
• lazear / lass
  An x86 assembler that you probably shouldn't use
  ☆22Updated 6 years ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• TheUltimateFoxOS / horizon
  Rewrite of the FoxOS kernel
  ☆21Updated 10 months ago
• primis / Apollo
  x86 Kernel Project
  ☆32Updated last year
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆23Updated 3 months ago
• lightning-speed / AtomOS
  An x86 Operating System written in C++ and C
  ☆21Updated 2 years ago