Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
Julia kernel for Jupyter
Jupyter kernel for Coq
A python Linux Kernel Simulator
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
A Development Framework for Coldfire
A rethinking of the Operating System Ecosystem.