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.
Latest Android builds from PixelBoot.
Casper-fs is a Custom LKM generator to protect and hide files.
A tool for automating the installation of Windows OS
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
Efficient GPU kernels for block-sparse matrix multiplication
CAN bus device driver
LinuxTLE (Revival)
A rethinking of the Operating System Ecosystem.
A Python library to create and deploy cross-platform native context