IPython Kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
Blazingly Fast & Customizable Linux distribution
Jupyter kernel for Coq
A microkernel-based multiserver operating system written from scratch.
Indipendent distro uses inary package system. Sulin is roolling donkey
Efficient GPU kernels for block-sparse matrix multiplication
Fulcon can generate full OS environment to the container like the VM.
A Development Framework for Coldfire
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