Alternatives and similar repositories for sophia

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

• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 3 months ago
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated last year
• achernya / iap-6.828-website
  ☆11Updated 11 years ago
• thamugadi / meli
  i386 hobby kernel.
  ☆25Updated last year
• BrianOtto / nasm-uefi
  A UEFI Boot Loader Built in NASM
  ☆43Updated last year
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 4 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆49Updated 3 years ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆55Updated 3 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆69Updated 3 years ago
• mobiusloopfour / newkern
  Hobby operating system I'm making to learn OS development.
  ☆10Updated 3 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆18Updated 7 months ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated last year
• d0p1s4m4 / Istar
  A minimalist legacy and EFI bootloader (without bloat)
  ☆15Updated 2 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 10 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 3 months ago
• aegiryy / fryy
  A tiny operating system running on 8086
  ☆41Updated 10 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 9 years ago
• aap / b
  B compiler
  ☆74Updated 2 months ago
• AndreVallestero / minimal-efi
  A bare-bones minimal executable application for efi on the x64 platform
  ☆56Updated 2 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• JonathanBelanger / DECaxp
  Digital, never Compaq or HP, Alpha AXP Emulator
  ☆49Updated 5 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• d0p1s4m4 / Fukuro
  Simple microkernel (early stage)
  ☆23Updated last year
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated this week
• egranata / puppy
  The Puppy Operating System
  ☆26Updated 6 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆72Updated 4 years ago
• mrlhansen / sabi
  Simple AML Bytecode Interpreter
  ☆10Updated last year
• 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