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. Learn more →
Top 23 C O Projects
A free Windows-compatible Operating SystemProject 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 - 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.
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.
The seL4 microkernelProject mention: Can the language of proof assistants be used for general purpose programming? | news.ycombinator.com | 2023-10-27
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 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
An open-source Unix operating systemProject mention: Getaddrinfo() on glibc calls getenv(), oh boy | news.ycombinator.com | 2023-10-16
Modular and configurable OS for embedded applicationsProject 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/
A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)
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.
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 - an operating system targeting x86, ARM and RISC-V.
Ghost, a micro-kernel based hobby operating system. (by maxdev1)
Mobile operating system based on FreeRTOS™ optimized for E Ink displays - developed for Mudita Pure minimalist phone
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.
A hobby operating system developed from scratch (by MQuy)
An operating system written in C (by Abb1x)
Neptune OS: A Windows NT personality for the seL4 microkernel
An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, inter-task communications primitives, hierarchical state machines and CoRoutines.
Operating System Coded in Assembly and C
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
An experimental operating system for x86 and ARM (by aweeraman)
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:
MidnightBSD OS source code (by MidnightBSD)
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
C Os related posts
BREAKING NEWS: Registry healing and validation checks work by George Bisoc has just been merged into main tree!
1 project | /r/reactos | 22 Nov 2023
ReactOS Newsletter 103 – Late 2023 News
1 project | news.ycombinator.com | 5 Nov 2023
Grokking AVL and RAVL Trees
1 project | news.ycombinator.com | 6 Aug 2023
Looking for an os for a very old laptop
1 project | /r/lowendgaming | 4 Jul 2023
Release v0.5.9.10 · embox/embox
2 projects | /r/embedded | 1 Jul 2023
Pomoc instalacije win XP na stari komp
1 project | /r/serbia | 17 Jun 2023
How to write TEE/Trusted OS for ARM microcontrollers?
1 project | /r/osdev | 5 Jun 2023
A note from our sponsor - InfluxDB
www.influxdata.com | 29 Nov 2023
What are some of the best open-source O projects in C? This list will help you: