Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
Jupyter kernel for Coq
A microkernel-based multiserver operating system written from scratch.
Efficient GPU kernels for block-sparse matrix multiplication
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
A rethinking of the Operating System Ecosystem.
A Python library to create and deploy cross-platform native context