C Os

Open-source C projects categorized as Os
Edit details
Topics: #Kernel #C #operating-system #Osdev #X86
Learn any GitHub repo in 59 seconds
Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
getonboard.dev
Sponsored

Top 23 C O Projects

  • reactos

    A free Windows-compatible Operating System

    Project mention: BREAKING NEWS: Registry healing and validation checks work by George Bisoc has just been merged into main tree! | /r/reactos | 2023-11-22

  • RIOT

    RIOT - The friendly OS for IoT (by RIOT-OS)

    Project mention: Comp Sci Student Interested in Embedded | /r/embedded | 2023-04-26

    RIOT-OS is somewhat popular in academia, it tries to be very approachable but there are still plenty of low hanging fruits with all kinds of hardware and you can use it for software and thesis projects.

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  • seL4

    The seL4 microkernel

    Project mention: Can the language of proof assistants be used for general purpose programming? | news.ycombinator.com | 2023-10-27

    https://sel4.systems

    Working on a number of platforms, verified on some. Multicore support is an ongoing effort afaict.

    On OS built on this kernel is still subject to some assumptions (like, hardware working correctly, bootloader doing its job, etc). But mostly those assumptions are less of a problem / easier to prove than the properties of a complex software system.

    As I understand it, guarantees that seL4 does provide, go well beyond anything else currently out there.

  • unikraft

    Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

    Project mention: Mirage – A programming framework for building type-safe, modular systems | news.ycombinator.com | 2023-11-23

  • illumos-gate

    An open-source Unix operating system

    Project mention: Getaddrinfo() on glibc calls getenv(), oh boy | news.ycombinator.com | 2023-10-16

  • embox

    Modular and configurable OS for embedded applications

    Project mention: Release v0.5.9.10 · embox/embox | /r/embedded | 2023-07-01

    Embox is a configurable RTOS designed for resource constrained and embedded systems. Embox main idea is using Linux software without Linux. (https://embox.github.io/ ) If you want use complex Linux Software and Linux is huge for your goals. Embox is the best idea, as I think. For example Embox is the only RTOS that allows to use OpenCV on Cortex-m MCUs https://www.embedded.com/benchmarking-opencv-on-stm32-mcus/

  • winix

    A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)

  • InfluxDB

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  • xboot

    The extensible bootloader for embedded system with application engine, write once, run everywhere.

    Project mention: I'm new to all this. Getting an ARM Cortex A based SBC up and running on an RTOS? | /r/arm | 2023-04-24

    This tiny bootloader-sized OS runs on H3: https://github.com/xboot/xboot

  • opuntiaOS

    opuntiaOS - an operating system targeting x86, ARM and RISC-V.

  • ghost

    Ghost, a micro-kernel based hobby operating system. (by maxdev1)

  • MuditaOS

    Mobile operating system based on FreeRTOS™ optimized for E Ink displays - developed for Mudita Pure minimalist phone

  • MollenOS

    MollenOS/Vali is a modern operating system that is built with focus on abstraction and a modular design, allowing anyone to port it to any architecture. It currently targets the x86-32 and x86-64 platform.

  • mos

    A hobby operating system developed from scratch (by MQuy)

  • emerald

    An operating system written in C (by Abb1x)

  • NeptuneOS

    Neptune OS: A Windows NT personality for the seL4 microkernel

  • QuarkTS

    An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, inter-task communications primitives, hierarchical state machines and CoRoutines.

  • SimpleOS

    Operating System Coded in Assembly and C

  • MoonOS

    MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.

  • CubOS

  • AhnTri

    Super-simple OS

  • odyssey

    An experimental operating system for x86 and ARM (by aweeraman)

  • spectra

    A 64bit operating system kernel with graphical user interface.

    Project mention: A custom OS 0.1 version release. | /r/osdev | 2023-02-27

    I am a newbie, began to learn osdev in my spare time about 8 months ago, in the middle of some things progress interrupted, until now 0.1 version finally release. Source code: https://github.com/scalaview/spectra Screenshot:

  • src

    MidnightBSD OS source code (by MidnightBSD)

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

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). The latest post mention was on 2023-11-23.

C Os related posts

Index

What are some of the best open-source O projects in C? This list will help you:

Project Stars
1 reactos 13,453
2 RIOT 4,614
3 seL4 4,395
4 unikraft 1,740
5 illumos-gate 1,466
6 embox 1,026
7 winix 928
8 xboot 755
9 opuntiaOS 647
10 ghost 553
11 MuditaOS 542
12 MollenOS 443
13 mos 348
14 emerald 317
15 NeptuneOS 313
16 QuarkTS 158
17 SimpleOS 110
18 MoonOS 96
19 CubOS 75
20 AhnTri 55
21 odyssey 42
22 spectra 33
23 src 33

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com