IPython Kernel for Jupyter
Jupyter kernel for Coq
The operating system and all related software
Jupyter magics and kernels for working with remote Spark clusters
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
A microkernel-based multiserver operating system written from scratch.
Linux kernel driver for Xbox One and Xbox Series X|S accessories
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
The classic RPL programming language reimplemented and reimagined.
Indipendent distro uses inary package system. Sulin is roolling donkey
OS bootable from Linux,Windows and others partitions as auxiliary OS
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
Real-Time Embedded Operating System
Efficient GPU kernels for block-sparse matrix multiplication
A Development Framework for Coldfire
Tool allowing you to put a Linux distro on a USB drive.
Tiny operating system for running HCFSM-based systems
A rethinking of the Operating System Ecosystem.
MinopsOS is a tiny operating system for PC computers.