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