uefi bootloader and kernel for x64
☆16Dec 22, 2025Updated 3 months ago
Alternatives and similar repositories for sophia
Users that are interested in sophia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Updated this week
- UNIX-like operating system written in C and C++☆93Updated this week
- A consolidation of all the Centuries I have started☆10Jun 6, 2020Updated 5 years ago
- A hobby operating system written in C.☆12Mar 12, 2018Updated 8 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Jun 30, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Dancy Operating System☆14Mar 22, 2026Updated last week
- Moved to:☆12Jul 9, 2019Updated 6 years ago
- A modular POSIX-like operating system created for educational purposes☆20Dec 31, 2017Updated 8 years ago
- The Lord of Files - A hobby operating system☆36Jun 6, 2021Updated 4 years ago
- MOP daemon (VAX netboot)☆13Oct 8, 2012Updated 13 years ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- Operating System focused on asynchronicity, minimalism, and performance.☆16Feb 16, 2026Updated last month
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 9 years ago
- Allwinner A20 bare metal samples☆10Oct 21, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Operating system designed to be fast and secure.☆21May 23, 2017Updated 8 years ago
- Library of additional parts for KiCad for use with Sakura-IT projects☆24Dec 1, 2023Updated 2 years ago
- A small computer operating system for x86 instruction set architectures written in ANSI C and assembly language.☆20May 13, 2013Updated 12 years ago
- 32-bit RISC processor☆23Jan 7, 2019Updated 7 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Nov 6, 2024Updated last year
- An OS based on a x86-Microkernel written in FreeBASIC.☆40Feb 28, 2019Updated 7 years ago
- A Linux-compatible operating system for x86☆11Mar 24, 2026Updated last week
- ⛓️ Blockchain + Smart contracts from scratch☆22May 19, 2018Updated 7 years ago
- Emulate Apache NuttX RTOS for Arm64 with Unicorn Emulator (Avaota-A1 SBC)☆42Apr 13, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- The mentally unstable 64-bit kernel☆35Jan 4, 2026Updated 2 months ago
- A fully capability-based operating system☆27Jul 12, 2019Updated 6 years ago
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- A hobby NES emulator written in Rust.☆15Jan 23, 2022Updated 4 years ago
- Port of uCLinux for the Mackerel-68k☆12Oct 8, 2025Updated 5 months ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- Metta OS☆74Nov 10, 2024Updated last year
- Operating System☆135May 12, 2022Updated 3 years ago
- Learn how to create your own 32-bit system from scratch.☆14Feb 15, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Mini-game built on a functional style☆13Jul 2, 2022Updated 3 years ago
- Verilog implementation of MC68851 Memory Management Unit☆13Feb 26, 2018Updated 8 years ago
- A collection of 68k computer projects, including a unix-like operating system written in C that runs on them☆62Feb 24, 2025Updated last year
- The Chariot Operating System☆48Dec 23, 2022Updated 3 years ago
- The Pedigree Operating System☆54May 29, 2023Updated 2 years ago
- Hexagon kernel (Hexagonix kernel)☆13Jan 21, 2026Updated 2 months ago
- The start of the second book about various application writing☆11Aug 11, 2015Updated 10 years ago