IPython Kernel for Jupyter
Jupyter kernel for Coq
Jupyter magics and kernels for working with remote Spark clusters
A python Linux Kernel Simulator
amforth is an extendible interpreter on microcontrollers
A microkernel-based multiserver operating system written from scratch.
Indipendent distro uses inary package system. Sulin is roolling donkey
Efficient GPU kernels for block-sparse matrix multiplication
Small real time operating system for AVR and ARM microcontrollers
A Development Framework for Coldfire
A rethinking of the Operating System Ecosystem.