NVIDIA Linux open GPU kernel module source
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
The data science OS
Easy, yet powerful, GNU/Linux distribution
Real-Time Event Frameworks based on active objects & state machines
Jupyter kernel for Coq
The classic RPL programming language reimplemented and reimagined.
Hobby operating system, bootloader, kernel, drivers, C library
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
Custom kernel for whyred (Redmi Note 5 Pro/AI)
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