Linux kernel source tree
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.
- desktop
- desktop-environment
- osjs
- web-desktop
The Serenity Operating System 🐞
- operating-system
- c-plus-plus
- os
- unix
A free Windows-compatible Operating System
Xv6 for RISC-V
Continuous Unix commit history from 1970 until today
iOS 16 userland + XNU on Redmi Note 10 Pro (sweet, SM7150)
iOS 16 userland + XNU on Redmi Note 12?
An operating system written in D
The repository host gives no description.
Experimental open-source replacement PlayStation 2 BIOS for emulators. MIT licensed.
NT-like POSIX-compatible operating system
First operating system written in D lang v2
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64