Alternatives and similar repositories for SpecOS

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

• Dcraftbg / MinOS
  Minos is a mini operating system written in C
  ☆153Updated last week
• sasdallas / Ethereal
  A from-scratch operating system attempting to make a full user experience.
  ☆84Updated last week
• lux-operating-system / kernel
  Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
  ☆180Updated 6 months ago
• UnmappedStack / PotatOS
  My hobby OS kernel
  ☆63Updated 10 months ago
• Mathewnd / Astral
  x86-64 Operating System
  ☆217Updated this week
• KaiNorberg / PatchworkOS
  A from scratch 64-bit monolithic non-POSIX operating system for the x86_64 architecture that rigorously follows a "everything is a file" …
  ☆196Updated last week
• uACPI / uACPI
  A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)
  ☆234Updated 3 weeks ago
• limine-bootloader / limine-c-template
  A simple template for building a Limine-compliant kernel in C.
  ☆166Updated this week
• maxtyson123 / MaxOS
  A 64bit hobby operating system written in C++
  ☆53Updated 3 weeks ago
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆106Updated this week
• VendelinSlezak / BleskOS
  32-bit operating system written from scratch, with alternative user interface, designed for older computers with intention to provide sys…
  ☆165Updated 4 months ago
• marceldobehere / MaslOS
  Masl OS
  ☆93Updated last year
• dreamos82 / Dreamos64
  My experiments with osdev... again
  ☆180Updated last week
• iProgramMC / NanoShellOS
  The NanoShell Operating System 🐢
  ☆229Updated 3 months ago
• kot-org / Kot
  A 64bits operating system in c++
  ☆107Updated last month
• hhuOS / hhuOS
  hhuOS - A small operating system
  ☆185Updated 3 weeks ago
• xrarch / mintia
  Paging operating system for a custom computer architecture
  ☆94Updated 3 weeks ago
• KamalDevelopers / GodsEyeView
  The next most holy operating system.
  ☆55Updated 5 months ago
• Rodmatronic / CatK
  A simple UNIX-LIKE kernel
  ☆56Updated 8 months ago
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆78Updated 2 weeks ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated last week
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆558Updated this week
• mentos-team / MentOS
  An educational 32-bit linux-like Operating System, with public bachelor- and master-level course slides.
  ☆216Updated 3 months ago
• Qwinci / crescent
  A custom OS distribution
  ☆23Updated 3 weeks ago
• malwarepad / cavOS
  💾 Amd64 operating system in C. Trying to make a full OS, with a simple and readable codebase!
  ☆587Updated 2 weeks ago
• xamidev / blankos
  Simple i386 hobby operating system
  ☆22Updated 7 months ago
• AptRock327 / RaidouOS
  64-bit multitasking graphical operating system
  ☆50Updated last year
• Goldside543 / goldspace
  Decent kernel I'm making
  ☆22Updated last week
• V01D-NULL / MoonOS
  MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
  ☆106Updated last month
• mell-o-tron / OS-Reference
  ☆83Updated 2 years ago