Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
Jupyter kernel for Coq
Tool kit for building highly secure special-purpose operating systems
A microkernel-based multiserver operating system written from scratch.
Latest Android builds from PixelBoot.
ArchMint GNU/Linux Distro
A tool for automating the installation of Windows OS
LuninuxOS is a Debian/Ubuntu based Linux distribution.
Efficient GPU kernels for block-sparse matrix multiplication
LinuxTLE (Revival)
A rethinking of the Operating System Ecosystem.
A simple project for creating hosting server-a-like live distribution
A Python library to create and deploy cross-platform native context