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.
Latest Android builds from PixelBoot.
LinuxTLE (Revival)
Monitors logs or other commands such as dmesg output on Linux systems.
A Python library to create and deploy cross-platform native context