Kernel density estimators for Julia
A set of utilities for monitoring and customizing GPU performance
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
ebpf-go is a pure-Go library to read, modify and load eBPF programs
Annotated Unix system source code
An educational 32-bit linux-like Operating System
syzkaller is an unsupervised coverage-guided kernel fuzzer
Coding assistance for JupyterLab (code navigation + hover suggestions
An OCaml kernel for Jupyter (IPython) notebook
FUSE extends macOS by adding support for user space file systems
Scalable, optimized, secure RTOS for multiple hardware architectures
My Little Unix: Kernels are Magic
A security-focused library OS supporting kernel execution
Custom kernel for Android device
Mac Mouse Fix - Make Your $10 Mouse Better Than an Apple Trackpad
The expl3 (LaTeX3) Development Repository
Shredos Disk Eraser 64 bit for all Intel 64 bit processors
WebAssembly (Wasm) arch support for the Linux kernel
Secure, kernel-enforced sandbox CLI and SDKs for AI agents
A secure embedded operating system for microcontrollers
A Scala kernel for Jupyter