Blazingly Fast & Customizable Linux distribution
Jupyter kernel for Coq
Efficient GPU kernels for block-sparse matrix multiplication
A Development Framework for Coldfire
Pre-Alpha Console distro for high performance Linux computing.
A simple project for creating hosting server-a-like live distribution
Tool intended to help the process of booting Linux on Intel Macs.
A Python library to create and deploy cross-platform native context