Jupyter kernel for Coq
Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
A microkernel-based multiserver operating system written from scratch.
Hanthana Linux Project
Efficient GPU kernels for block-sparse matrix multiplication
LinuxTLE (Revival)
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
(download) Linux Adequate"available approximately five days"
Universal Operating System
A Python library to create and deploy cross-platform native context