Rust Linux-compatible kernel
The Serenity Operating System
ebpf-go is a pure-Go library to read, modify and load eBPF programs
eBPF-based Linux kernel networking debugger
Open source driver and user-space daemon to control Razer lighting
Tooling for Nitro Enclave management
Kernel density estimators for Julia
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Ubuntu-Based, Rolling Release w/ Pacstall & XFCE at its core
The full GNU/Goon/Linux distribution
CoolPotOS for ia32 / amd64
An educational 32-bit linux-like Operating System
An OCaml kernel for Jupyter (IPython) notebook
syzkaller is an unsupervised coverage-guided kernel fuzzer
My Little Unix: Kernels are Magic
Coding assistance for JupyterLab (code navigation + hover suggestions
Shredos Disk Eraser 64 bit for all Intel 64 bit processors
Cat scratch chrome resource sniffing extension
A secure embedded operating system for microcontrollers
The expl3 (LaTeX3) Development Repository