Alternatives and similar repositories for sophia

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

• achernya / iap-6.828-website
  ☆11Updated 11 years ago
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated last year
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 4 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 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
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• Ironclad-Project / Ironclad
  Mirror of codeberg's repository
  ☆41Updated this week
• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 7 months ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• avdgrinten / riscv-toy-os
  RISC-V toy operating system developed on live stream
  ☆16Updated 4 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆67Updated last year
• mobiusloopfour / newkern
  Hobby operating system I'm making to learn OS development.
  ☆10Updated 4 years ago
• farlepet / lambda-kern
  Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
  ☆16Updated 7 months ago
• m-ou-se / bootlib
  A minimalistic library to help making your x86 assembly program bootable.
  ☆25Updated 6 years ago
• bsdimp / 2.11bsd
  BSD 2.11, as patched
  ☆24Updated 4 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 4 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆50Updated 4 years ago
• JonathanBelanger / DECaxp
  Digital, never Compaq or HP, Alpha AXP Emulator
  ☆49Updated 6 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆99Updated last week
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 9 years ago
• aap / b
  B compiler
  ☆78Updated 6 months ago
• BrianOtto / nasm-uefi
  A UEFI Boot Loader Built in NASM
  ☆44Updated last year
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 6 months ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆22Updated 11 months ago
• robertlipe / riscv7
  UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC
  ☆13Updated 2 years ago
• ChariotOS / chariot
  The Chariot Operating System
  ☆48Updated 3 years ago
• alexfru / regal86
  Register Allocator for 8086
  ☆76Updated 2 years ago