Scalable, optimized, secure RTOS for multiple hardware architectures
A Scala kernel for Jupyter
Jupyter kernel for Coq
Winux Operating System by Linuxfx
Market leading real time kernel for 40+ microcontroller architectures
A python Linux Kernel Simulator
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
The smallest and the most powerful operating system.
OS bootable from Linux,Windows and others partitions as auxiliary OS
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
x86-64 os made in crystal
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Efficient GPU kernels for block-sparse matrix multiplication
Run Linux on Windows or other OSes, natively.
A Haskell kernel for the Jupyter project
A Development Framework for Coldfire
Tool allowing you to put a Linux distro on a USB drive.
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
Mayax is a 32-bit hobby OS with windows style GUI.