Alternatives and similar repositories for KOSmk4

Users that are interested in KOSmk4 are comparing it to the libraries listed below

• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• N00byEdge / bootelf
  ☆34Updated 7 months ago
• osdev0 / freestnd-c-hdrs-0bsd
  Moved to codeberg: https://codeberg.org/osdev/freestnd-c-hdrs-0bsd
  ☆27Updated 2 months ago
• mintsuki / jinx
  Moved to codeberg: https://codeberg.org/mintsuki/jinx
  ☆57Updated 2 months ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 8 months ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated 10 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)
  ☆16Updated 2 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• xrarch / aisix
  multitasking OS written in dragonfruit (defunct)
  ☆5Updated 11 months ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 7 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆28Updated last year
• 8l / scc
  scc - simple C Compiler
  ☆58Updated 8 years ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆36Updated this week
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 9 months ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/osdev/nyu-efi
  ☆31Updated 2 months ago
• streaksu / slibc
  POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
  ☆13Updated 4 years ago
• nothotscott / VisualOS
  x86-64 UEFI operating system with the goal of eliminating command lines
  ☆28Updated 3 years ago
• 48cf / zigux
  Zigux is an attempt to write a UNIX-like kernel in Zig
  ☆30Updated 10 months ago
• Takao-OS / Takao
  A kernel made with love, and lots of D.
  ☆20Updated 3 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 7 months ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated last year
• chocabloc / saf
  A Simple Archive Format
  ☆10Updated 3 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆91Updated last month
• KamalDevelopers / GodsEyeView
  The next most holy operating system.
  ☆55Updated 2 months ago
• ringwormGO-organization / ringOS
  ringOS source code
  ☆36Updated 8 months ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 3 years ago
• rdmsr / tinyefi
  Tiny public domain EFI library
  ☆13Updated 2 years ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• osdev0 / libgcc-binaries
  Moved to codeberg: https://codeberg.org/osdev/libgcc-binaries
  ☆10Updated last month
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆50Updated 3 years ago