Kargo automates promotion across dev, staging, and prod with approval gates and verification. Open source, built by the team behind Argo CD. Download now. Learn more →
Top 4 C os-dev Projects
-
Project mention: Show HN: I wrote a from-scratch OS to serve my blog | news.ycombinator.com | 2025-09-16
-
Kargo
Stop Scripting Promotions. Start Shipping with Kargo. Kargo automates promotion across dev, staging, and prod with approval gates and verification. Open source, built by the team behind Argo CD. Download now.
-
RADII
RADII is a UEFI bootloader for the x86_64 architecture. It is made with the goal of understanding how modern desktop computers work, from hardware to radio buttons :^)
-
Aero1EOS
Aero1EOS is a OS made by a 12-13 year old male named "Ali Yahya Ali Sumaily", Or "علي يحي علي صميلي" In Arabic, The OS is designed to be minimal as possible, the OS has many cool features and many cool commands that has cool purposes (also im cool right), and it uses MIT, and its pretty secure, ok ily please star it pretty please
Project mention: I Coded a Solo 64-Bit Operating System on an Android TV (986 Commits as of 17 Jan, 2026) | dev.to | 2026-06-16⭐ GitHub Repository: Here
-
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
C os-dev discussion
C os-dev related posts
-
How do I make a bootloader that boots into a c kernel
-
Keyboard input example
-
OpenBSD Source Code: Where to begin?
-
FluxedOS my custom x86 OS project
-
Here's my basic kernel, more in comments
-
A note from our sponsor - Kargo
akuity.io | 8 Sep 2026