Alternatives and similar repositories for SpecOS

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

• Mathewnd / Astral
  x86-64 Operating System
  ☆360Updated 2 weeks ago
• UnmappedStack / PotatOS
  My hobby OS kernel
  ☆65Updated last year
• Dcraftbg / MinOS
  Minos is a mini operating system written in C
  ☆170Updated 2 months ago
• sasdallas / Ethereal
  A from-scratch operating system attempting to make a full user experience.
  ☆114Updated last week
• lux-operating-system / kernel
  Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
  ☆183Updated 9 months ago
• KaiNorberg / PatchworkOS
  A modular, non-POSIX operating system for x86_64, built from scratch in C and assembly. Intended to be an educational and experimental pr…
  ☆241Updated this week
• maxtyson123 / MaxOS
  A 64bit hobby operating system written in C++
  ☆53Updated this week
• Rodmatronic / CatK
  A simple UNIX-LIKE kernel
  ☆56Updated last year
• marceldobehere / MaslOS
  Masl OS
  ☆95Updated last year
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆108Updated 3 months ago
• iProgramMC / NanoShellOS
  The NanoShell Operating System 🐢
  ☆240Updated 3 weeks ago
• VendelinSlezak / BleskOS
  32-bit operating system written from scratch, with alternative user interface, designed for older computers with intention to provide sys…
  ☆172Updated 3 weeks ago
• uACPI / uACPI
  A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)
  ☆263Updated last month
• dreamos82 / Dreamos64
  My experiments with osdev... again
  ☆190Updated this week
• hhuOS / hhuOS
  hhuOS - A small operating system
  ☆205Updated this week
• kot-org / Kot
  A 64bits operating system in c++
  ☆109Updated last month
• xrarch / mintia
  Paging operating system for a custom computer architecture
  ☆98Updated 4 months ago
• UnmappedStack / TacOS
  Mirror of my from-scratch x86_64 UNIX-like OS.
  ☆389Updated last month
• mikaku / Fiwix
  A UNIX-like kernel for the i386 architecture
  ☆595Updated this week
• brainboxdotcc / retro-rocket
  Retro Rocket BASIC Powered Operating System
  ☆70Updated last month
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64 and m68k.
  ☆97Updated 2 weeks ago
• Qwinci / crescent
  A custom OS distribution
  ☆22Updated 4 months ago
• AptRock327 / RaidouOS
  64-bit multitasking graphical operating system
  ☆50Updated last year
• Goldside543 / goldspace
  Decent kernel I'm making
  ☆22Updated last week
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆77Updated 3 months ago
• ArTicZera / AcidOS
  Small Real Mode OS made in Assembly
  ☆34Updated last year
• marceldobehere / MaslOS-2
  MaslOS but 2
  ☆47Updated last year
• OBOS-dev / obos
  I was bored...
  ☆33Updated this week
• xrarch / mintia2
  ☆35Updated this week
• mell-o-tron / OS-Reference
  ☆83Updated 2 years ago