Linux Kernel Manager and Activity Monitor
A python Linux Kernel Simulator
Kernel density estimators for Julia
FlashInfer: Kernel Library for LLM Serving
A virtual environment kit for the local-first web
ebpf-go is a pure-Go library to read, modify and load eBPF programs
This is an implementation of WireGuard in Go
Tooling for Nitro Enclave management
Open source driver and user-space daemon to control Razer lighting
Lunatik is a framework for scripting the Linux kernel with Lua
CoolPotOS for ia32 / amd64
Application Kernel for Containers
JupyterLab computational environment
System Analysis Software
An educational 32-bit linux-like Operating System
eBPF-based Linux kernel networking debugger
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
The Serenity Operating System
Coding assistance for JupyterLab (code navigation + hover suggestions
Rust Linux-compatible kernel
An OCaml kernel for Jupyter (IPython) notebook
Secure, kernel-enforced sandbox CLI and SDKs for AI agents