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
  ☆135Updated 10 months ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆91Updated last week
• dennis95 / dennix
  Dennix is a unix-like hobbyist operating system written from scratch.
  ☆163Updated 11 months ago
• AndrewAPrice / Perception
  A hobby operating system
  ☆103Updated this week
• Itay2805 / TomatOS
  A 64bit tomato kernel
  ☆69Updated 4 years ago
• doug65536 / dgos
  Operating System
  ☆133Updated 3 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆186Updated last year
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆56Updated 8 years ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆202Updated 4 years ago
• stevej / osdev
  A hobby operating system built mostly from scratch.
  ☆78Updated 12 years ago
• echfs / echfs
  The echfs filesystem
  ☆169Updated last year
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆219Updated 6 years ago
• tmathmeyer / sos
  shitty operating system ...---...
  ☆33Updated 4 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 3 years ago
• ethan4984 / dufay
  Modern Microkernel from Scratch
  ☆228Updated last week
• tyler569 / nightingale
  A small operating system where I experiment and learn osdev.
  ☆131Updated last year
• thomasloven / mittos64
  ☆49Updated 5 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆72Updated 4 years ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆93Updated last week
• Menotdan / OSdev-tutorial
  My own OS Development tutorial.
  ☆42Updated 4 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆69Updated 10 months ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• AymenSekhri / CyanOS
  Coding an operating system to keep my sanity during the quarantine.
  ☆70Updated 2 years ago
• AhnJihwan / AhnTri
  Super-simple OS
  ☆59Updated 3 years ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated 4 months ago
• stivale / stivale
  The stivale boot protocols' specifications and headers.
  ☆108Updated 3 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 7 years ago
• tehybel / osdev
  An x86 OS written from scratch in C
  ☆36Updated 7 years ago
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader
  ☆83Updated last week