Jupyter magics and kernels for working with remote Spark clusters
The operating system and all related software
NVIDIA Linux open GPU kernel module source
Redox is an operating system written in Rust
GeckoLinux is a set of live Linux spins built from openSUSE
Market leading real time kernel for 40+ microcontroller architectures
Android Custom Rom
The data science OS
Jupyter kernel for Coq
ch.rose is an indie project based on arch linux and ALCI.
Scripts to build a custom Linux system for 16MB Netpliance I-Opener.
Aiming at accomplishing an incredibly comfortable user experience
Fast rolling Linux distribution based on Debian with Cinnamon desktop
Script to make partitions, format and install embedded Linux files.
replicated-kernel Linux-based OS
Brute-forcing WAN/LAN services
get make and install [multiple] linux kernels
Configuration tools for the Linux NetLabel subsystem
Smart home thermostat with touch screen and home automation
Latest i9001 stock kernel, heavily tweaked!
Bare Metal Linux Disaster Recovery software