Lunatik is a framework for scripting the Linux kernel with Lua
A kernel library written in tilelang
eBPF-based Linux kernel networking debugger
epository that demonstrates and analyzes a Linux kernel vulnerability
The Linux Kernel Module Programming Guide
WebAssembly (Wasm) arch support for the Linux kernel
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
An OCaml kernel for Jupyter (IPython) notebook
Application Kernel for Containers
ebpf-go is a pure-Go library to read, modify and load eBPF programs
Coding assistance for JupyterLab (code navigation + hover suggestions
Tooling for Nitro Enclave management
A NumPy-compatible array library accelerated by CUDA
Fast, scalable, distributed revision control system
The Go kernel for Jupyter notebooks and nteract
A security-focused library OS supporting kernel execution
Development repository for the Triton language and compiler
Production-grade client-side tracing, profiling, and analysis
Jupyter notebook integration with Spyder
Hobby operating system, bootloader, kernel, drivers, C library
A Python framework for accelerated simulation, data generation
This cheasheet is aimed at the CTF Players and Beginners
Performance meets Productivity
Armbian Linux Build Framework
Cosmos is an operating system "construction kit"