Alternatives and similar repositories for sophia

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

• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆50Updated 4 years ago
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆18Updated last year
• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 6 months ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated last year
• thamugadi / meli
  i386 hobby kernel.
  ☆24Updated 2 years ago
• mobiusloopfour / newkern
  Hobby operating system I'm making to learn OS development.
  ☆10Updated 3 years ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 4 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• doug65536 / dgos
  Operating System
  ☆134Updated 3 years ago
• christianb93 / ctOS
  ctOS is a bit 32 bit Unix-like operating system that I developed as a toy project
  ☆41Updated 7 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆43Updated 10 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• JonathanBelanger / DECaxp
  Digital, never Compaq or HP, Alpha AXP Emulator
  ☆49Updated 6 years ago
• bsdimp / 2.11bsd
  BSD 2.11, as patched
  ☆23Updated 4 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 4 months ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• Ironclad-Project / Ironclad
  Mirror of codeberg's repository
  ☆40Updated this week
• aap / b
  B compiler
  ☆77Updated 4 months ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 3 years ago
• void4 / KeyKOS
  Source code of the KeyKOS operating system
  ☆18Updated 6 years ago
• zesterer / tupai
  A modular POSIX-like operating system created for educational purposes
  ☆19Updated 7 years ago
• wquist / Horizon-Microkernel
  A hobby operating system written in C.
  ☆11Updated 7 years ago
• 8l / scc
  scc - simple C Compiler
  ☆58Updated 8 years ago
• mkilgore / protura
  ☆91Updated 3 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated 2 weeks ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆66Updated last year
• BrianOtto / nasm-uefi
  A UEFI Boot Loader Built in NASM
  ☆44Updated last year
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 4 years ago