LuakernelLua + SQLite + musl libc running on x86.
KernelThe Stupid Operating System
NebuletA proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
LibhermitHermitCore: A C-based, lightweight unikernel
UnikraftUnikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)
CyjonA simple, clean code, multi-tasking operating system written in pure assembly language for 64-bit processors from the AMD64 family.
MosA hobby operating system developed from scratch
ZenithosThe Zenith Operating System is a modern, professional fork of the 64-bit Temple Operating System, designed to survive societal collapse.
RcoreRust version of THU uCore OS. Linux compatible.
EmeraldAn operating system written in C
Raspberry Pi OsLearning operating system development using Linux kernel and Raspberry Pi
Tofita🍬 All-new kernel for @GreenteaOS
Monkosan experimental 64-bit operating system
Boneos💥 BoneOS Kernel and Operating System Source Tree
ReactosA free Windows-compatible Operating System
EggosA Go unikernel running on x86 bare metal
CactusosA operating system made for fun.
Toaru NihNOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
MarvinosA hobby Operating System developed from scratch using C/C++ and assembly
Skift🥑 A simple, handmade, operating system with a graphical user interface.
DennixDennix is a unix-like hobbyist operating system written from scratch.
CuteosA 64-bit SMP-safe kernel for the PC architecture.
PosnkAn operating system project.
FotixMy very own UNIX clone, for education/self-amusement.
Os2x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
SosoA Simple Unix-like operating system
Libhermit Rslibhermit-rs: A Rust-based library operating system
NanosA kernel designed to run one and only one application in a virtualized environment
Os67An unix-like toy kernel
PowernexAn operating system written in D
GramadoGramado OS - 32bit operating system
AquilaAquilaOS: UNIX-like Operating System
KrabsAn x86 bootloader written in Rust.
Wingosa little 64bit operating system written in c++ with smp support
ToaruosA completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.
BootimageTool to create bootable disk images from a Rust OS kernel.
Rusty HermitRustyHermit - A Rust-based, lightweight unikernel
HaltOS where everything is immutable! (Experimental)
LudOSA toy monolithic kernel written in C++
octoxxv6-riscv like OS written in Rust
ucoreuCore Operating System Lab
RocketOSRocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it still is a serious project. It is currently in its infancy.
EinherjarcolorForth computing environment for amd64 and PowerPC Macs.
nightingaleA small operating system where I experiment and learn osdev.
FukuroSimple microkernel (early stage)
SigmaAbandoned overcomplicated Microkernel using modern x86_64 features
uteroThe Operating System (for x86_64) written in Crystal as much as possible
infinityA secure, modern and intelligent operative system
barebonesBarebones multiboot kernel for beginners
KnutOSAn x86_64 hobbyist OS written in C and Assembly