Skip to content
Change the repository type filter

All

    Repositories list

    • XenevaOS

      Public
      The Xeneva Operating System
      C
      BSD 2-Clause "Simplified" License
      42000Updated Jun 13, 2025Jun 13, 2025
    • blog_os

      Public
      Writing an OS in Rust
      HTML
      Apache License 2.0
      1.2k000Updated Feb 26, 2022Feb 26, 2022
    • nanos

      Public
      A kernel designed to run one and only one application in a virtualized environment
      C
      Apache License 2.0
      174100Updated Jul 23, 2019Jul 23, 2019
    • serenity

      Public
      Serenity Operating System (x86)
      C++
      3.3k000Updated Apr 3, 2019Apr 3, 2019
    • hermitux

      Public
      A binary-compatible unikernel
      C
      29000Updated Mar 6, 2019Mar 6, 2019
    • gramado

      Public
      Gramado Operating System
      C
      BSD 2-Clause "Simplified" License
      33100Updated Feb 9, 2019Feb 9, 2019
    • skift

      Public
      Build infrastructure, kernel, and userspace for the skift Operating System
      C
      MIT License
      148000Updated Jan 3, 2019Jan 3, 2019
    • Learning operating system development using Linux kernel and Raspberry Pi
      C
      MIT License
      1.3k000Updated Jun 7, 2018Jun 7, 2018
    • Aquila

      Public
      AquilaOS: UNIX-like Operating System
      C
      GNU General Public License v3.0
      31000Updated May 15, 2018May 15, 2018
    • FermiOS

      Public
      C
      MIT License
      0000Updated Jan 19, 2018Jan 19, 2018
    • Ruby
      24000Updated Jan 18, 2018Jan 18, 2018
    • helenos

      Public
      A portable microkernel-based multiserver operating system written from scratch. This is the HelenOS mainline repository.
      C
      160000Updated Jan 17, 2018Jan 17, 2018
    • C
      51000Updated Jan 17, 2018Jan 17, 2018
    • jehanne

      Public
      Jehanne Operating System
      C
      Other
      16000Updated Jan 15, 2018Jan 15, 2018
    • DEOS

      Public
      The distributed exokernel operating system
      C
      GNU General Public License v3.0
      12000Updated Jan 14, 2018Jan 14, 2018
    • beeos

      Public
      BeeOS kernel
      C
      GNU Lesser General Public License v3.0
      13000Updated Jan 14, 2018Jan 14, 2018
    • os01

      Public
      Bootstrap yourself to write an OS from scratch. A book for self-learner.
      TeX
      786000Updated Dec 24, 2017Dec 24, 2017
    • PSOS

      Public
      Pretty Simple/Stupid Operating System
      C
      Other
      1000Updated Dec 5, 2017Dec 5, 2017
    • toaruos

      Public
      Hobby kernel + userspace, built mostly from scratch. Composited GUI, dynamically linked ELF binaries, networking, Python applications, and more.
      C
      Other
      538000Updated Oct 12, 2017Oct 12, 2017
    • sample-os

      Public
      A sample OS as demonstrated in the book Operating System: From 0 to 1
      Assembly
      84000Updated Sep 12, 2017Sep 12, 2017
    • xos

      Public
      Hobby OS built from scratch for the PC with a compositing graphical user interface, multitasking, ACPI, USB, networking and more to come, written entirely in as…
      Assembly
      MIT License
      31000Updated Sep 5, 2017Sep 5, 2017
    • gopher-os

      Public
      A proof of concept OS written in Go
      Go
      MIT License
      177000Updated Jun 14, 2017Jun 14, 2017
    • axle

      Public
      a UNIX-like kernel + userspace
      C
      39000Updated Jan 15, 2017Jan 15, 2017
    • exscapeOS

      Public
      A hobby OS written in assembly (nasm) and C. Small, realistic goals.
      C
      2000Updated Dec 16, 2016Dec 16, 2016
    • thor-os

      Public
      Simple operating system in C++, written from scratch
      C++
      Boost Software License 1.0
      184000Updated Aug 25, 2016Aug 25, 2016
    • ghost

      Public
      Ghost, a micro-kernel based operating system for the x86 architecture.
      C++
      GNU General Public License v3.0
      63000Updated Aug 18, 2016Aug 18, 2016
    • 386bsd

      Public
      386BSD
      C
      127000Updated Aug 5, 2016Aug 5, 2016
    • A simple OS kernel for research, teaching, and fun.
      C
      GNU General Public License v2.0
      116000Updated Jun 24, 2016Jun 24, 2016
    • ulix

      Public
      Ulix, the Literate Unix
      Assembly
      GNU General Public License v3.0
      14000Updated Dec 20, 2015Dec 20, 2015
    • IncludeOS

      Public
      A minimal, resource efficient unikernel for cloud services
      C
      Apache License 2.0
      389000Updated Dec 2, 2015Dec 2, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.