Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
Jupyter kernel for Coq
Musician-oriented Linux distro
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
Efficient GPU kernels for block-sparse matrix multiplication
Based on Python 3
LinuxTLE (Revival)
Fulcon can generate full OS environment to the container like the VM.
VozBox. Asterisk VoIP PBX.
Pre-Alpha Console distro for high performance Linux computing.
A rethinking of the Operating System Ecosystem.