Jupyter kernel for Coq
Jupyter magics and kernels for working with remote Spark clusters
Blazingly Fast & Customizable Linux distribution
Portable Penetration Testing Operating System
It’s a Lubuntu based ERP OS. Get two ERP software preinstalled
LinuxTLE (Revival)
Wayland/QtQuick based OS with incremental updates and bundles
Chromium + Ubuntu = Cub Linux
Orange JeOS ("juice") is a small and secure Linux distribution
A Python library to create and deploy cross-platform native context
Tool intended to help the process of booting Linux on Intel Macs.