Your favorite operating systems in one place
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
IPython Kernel for Jupyter
A BSD-based OS project that aims to provide an experience with MacOS
A Scala kernel for Jupyter
AO RTOS is small real time OS based on Active Object concurrency model
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
Free real-time operating system designed for microcontrollers
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Mulithreading Arduno library
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
Tool allowing you to put a Linux distro on a USB drive.