The source for the Linux kernel used in Windows Subsystem for Linux 2
Jupyter magics and kernels for working with remote Spark clusters
Julia kernel for Jupyter
IPython Kernel for Jupyter
A Scala kernel for Jupyter
Jupyter kernel for Coq
Real-Time Event Frameworks based on active objects & state machines
Hobby operating system, bootloader, kernel, drivers, C library
Thread Scheduler with custom asynchronous messaging in VC++
Vampire OS is the alternative to Windows and macOS
A microkernel-based multiserver operating system written from scratch.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
The classic RPL programming language reimplemented and reimagined.
A tool for automating the installation of Windows OS
OS bootable from Linux,Windows and others partitions as auxiliary OS
Open-source RTOS and Embedded Systems Toolkit for C++ and C
PRTOS is a simple, compact preemptive RTOS for embedded systems
Mulithreading Arduno library
ext2/3/4 library for microcontrollers
Efficient GPU kernels for block-sparse matrix multiplication
Run Linux on Windows or other OSes, natively.
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Small real time operating system for AVR and ARM microcontrollers
Custom firmware and IDE for the VEX Cortex Microcontroller