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