IPython Kernel for Jupyter
A set of utilities for monitoring and customizing GPU performance
Shredos Disk Eraser 64 bit for all Intel 64 bit processors
Jupyter kernel for Coq
Qiling Advanced Binary Emulation Framework
A book about how to write OS kernels in Rust easily
Blazingly Fast & Customizable Linux distribution
Linux Kernel Updater
Linux GPIB Driver package (source)
Simplify the maintenance and cleaning of Linux systems.
An Ubuntu Linux-based OS that aims to end user.
A bleeding-edge, security-centric Arch-based Linux distribution.
Low Level Format Tool for debian-based systems
Educational Linux Distribution
A custom Debian live ISO with security tools, no GUI, only Bash.
A disk schredder application for debian-linux systems
Framework used to create custom debian linux operating systems
Easy RaspberryPi4 GUI system managment
Emulator for rapid prototyping of Software Defined Networks
A minimal init system for Linux containers
Command shell for interactive computing in multiple languages
Ubuntu-based Linux Gaming OS
Nebula Kernel, My Personal Custom Kernel geared towards Performance.
32 bit VIRGO Linux Kernel