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
A Scala kernel for Jupyter
Rust Linux-compatible kernel
IPython Kernel for Jupyter
Real-Time Event Frameworks based on active objects & state machines
The classic RPL programming language reimplemented and reimagined.
Jupyter kernel for Coq
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
A tool for automating the installation of Windows OS
This is a small lightweight cmd and bat based operating system.
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..