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.
A tool for automating the installation of Windows OS
Indipendent distro uses inary package system. Sulin is roolling donkey
Beamology: Semicom Project Management
Efficient GPU kernels for block-sparse matrix multiplication
A Development Framework for Coldfire
Pre-Alpha Console distro for high performance Linux computing.
A rethinking of the Operating System Ecosystem.
A Python library to create and deploy cross-platform native context