IPython Kernel for Jupyter
The source for the Linux kernel used in Windows Subsystem for Linux 2
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Your favorite operating systems in one place
A Scala kernel for Jupyter
AO RTOS is small real time OS based on Active Object concurrency model
Memory manager for Free Pascal
Thread Scheduler with custom asynchronous messaging in VC++
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
The smallest and the most powerful operating system.
Linux kernel driver for Xbox One and Xbox Series X|S accessories
A tool for automating the installation of Windows OS
Free real-time operating system designed for microcontrollers
Open-source RTOS and Embedded Systems Toolkit for C++ and C
A Debug style tool for OS Free systems
Mulithreading Arduno library
Gobudgie is an operating system which is compatible to Android.
Efficient GPU kernels for block-sparse matrix multiplication
A Haskell kernel for the Jupyter project
Small real time operating system for AVR and ARM microcontrollers
Nanux Kernel
SuperWikia: The Runtime/Realtime Environment for Codesmiths