IPython Kernel for Jupyter
Jupyter kernel for Coq
Jupyter magics and kernels for working with remote Spark clusters
A microkernel-based multiserver operating system written from scratch.
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
SuperWikia: The Runtime/Realtime Environment for Codesmiths
A rethinking of the Operating System Ecosystem.
A Python library to create and deploy cross-platform native context