Zen Patched Kernel Sources
A Rust-based, lightweight unikernel
Efficient Triton Kernels for LLM Training
Integrate cutting-edge LLM technology quickly and easily into your app
The source for the Linux kernel used in Windows Subsystem for Linux 2
IPython Kernel for Jupyter
Windows Subsystem for Linux
Lunatik is a framework for scripting the Linux kernel with Lua
The LaTeX2e kernel
Linux Kernel Manager and Activity Monitor
Kernel density estimators for Julia
Open source driver and user-space daemon to control Razer lighting
System Analysis Software
The Serenity Operating System
CoolPotOS for ia32 / amd64
eBPF-based Linux kernel networking debugger
A virtual environment kit for the local-first web
Tooling for Nitro Enclave management
Linux Kernel for Surface Devices
ebpf-go is a pure-Go library to read, modify and load eBPF programs
Enables Jupyter Notebooks to share resources across clusters
User mode file system for Windows