Hobby operating system, bootloader, kernel, drivers, C library
This is the stress-ng upstream project git repository.
The source for the Linux kernel used in Windows Subsystem for Linux 2
Julia kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
A Scala kernel for Jupyter
IPython Kernel for Jupyter
The operating system and all related software
Zen Patched Kernel Sources
Rust Linux-compatible kernel
Linux Kernel Manager and Activity Monitor
Free operating system for Atari computers, and more.
amforth is an extendible interpreter on microcontrollers
AO RTOS is small real time OS based on Active Object concurrency model
16 bit real mod minecraft clone running in bios
Real-Time Event Frameworks based on active objects & state machines
The classic RPL programming language reimplemented and reimagined.
Q1-kernel a hybrid kernel
Market leading real time kernel for 40+ microcontroller architectures
Debian Trixie with the Mate desktop environment
Memory manager for Free Pascal
Jupyter kernel for Coq
Alternative operating system for x86 computers
Thread Scheduler with custom asynchronous messaging in VC++