Alternatives and similar repositories for protura

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

• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆137Updated last year
• dennis95 / dennix
  Dennix is a unix-like hobbyist operating system written from scratch.
  ☆164Updated last year
• AndrewAPrice / Perception
  A hobby operating system
  ☆104Updated last month
• tyler569 / nightingale
  A small operating system where I experiment and learn osdev.
  ☆131Updated last month
• Itay2805 / TomatOS
  A 64bit tomato kernel
  ☆68Updated 4 years ago
• doug65536 / dgos
  Operating System
  ☆133Updated 3 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated 3 weeks ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆221Updated 6 years ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 3 years ago
• thomasloven / mittos64
  ☆50Updated 6 years ago
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆57Updated 8 years ago
• fuga-org / fuga
  Modern Microkernel from Scratch
  ☆227Updated 2 months ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• stevej / osdev
  A hobby operating system built mostly from scratch.
  ☆83Updated 12 years ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆206Updated 4 years ago
• Menotdan / OSdev-tutorial
  My own OS Development tutorial.
  ☆44Updated 5 years ago
• AhnJihwan / AhnTri
  Super-simple OS
  ☆59Updated 3 years ago
• echfs / echfs
  The echfs filesystem
  ☆170Updated last year
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆232Updated 11 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆187Updated last year
• tmathmeyer / sos
  shitty operating system ...---...
  ☆33Updated 4 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆73Updated 4 years ago
• Remco123 / CactusOS
  A operating system made for fun.
  ☆103Updated 3 years ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated this week
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆88Updated 7 years ago
• RobbeDGreef / yanix
  Yanix is a UNIX-like kernel / operating system build completely from scratch
  ☆84Updated 3 years ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆149Updated 4 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 3 years ago
• Menotdan / DripOS
  Yet another hobby x86_64 OS.
  ☆103Updated last year
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated 2 months ago