Jupyter magics and kernels for working with remote Spark clusters
NVIDIA Linux open GPU kernel module source
Julia kernel for Jupyter
The source for the Linux kernel used in Windows Subsystem for Linux 2
A Scala kernel for Jupyter
Hobby operating system, bootloader, kernel, drivers, C library
IPython Kernel for Jupyter
Rust Linux-compatible kernel
Easy, yet powerful, GNU/Linux distribution
Real-Time Event Frameworks based on active objects & state machines
The classic RPL programming language reimplemented and reimagined.
Jupyter kernel for Coq
Vampire OS is the alternative to Windows and macOS
A microkernel-based multiserver operating system written from scratch.
Shastra OS is a Arch Linux based Operating System.
Casper-fs is a Custom LKM generator to protect and hide files.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
OS bootable from Linux,Windows and others partitions as auxiliary OS
a greener alternative for everyone
UNIX/LINUX and legal homebrew software on the xbox360 gaming console
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