Julia kernel for Jupyter
The source for the Linux kernel used in Windows Subsystem for Linux 2
Jupyter magics and kernels for working with remote Spark clusters
A Scala kernel for Jupyter
Jupyter kernel for Coq
IPython Kernel for Jupyter
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
ext2/3/4 library for microcontrollers
Mulithreading Arduno library
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