Repository Index

A book-in-progress about the Linux kernel and its insides.

• linux-kernel
• linux-insides
• linux

A collection of important graph embedding, classification and representation learning papers with implementations.

• graph2vec
• classification-algorithm
• graph-kernels
• weisfeiler-lehman

Jupyter magics and kernels for working with remote Spark clusters

• spark
• kernel
• cluster
• livy

A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more

• code-runner
• jupyter
• neovim
• nvim

Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels

• fuzzing
• kernel
• intel-pt
• processor-trace

Inferred Model-based Fuzzer

• fuzzer
• kernel-fuzzing
• macos

Jupyter kernel for Coq

• coq
• jupyter
• kernel
• jupyter-kernels

Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.

• xonsh
• xontrib
• jupyter
• jupyter-notebook

Jupyter MicroPython Kernel made with upydevice

• micropython
• jupyter-notebook
• jupyterlab
• jupyter

Aldertech Dynamic Resource Governor — A kernel-level resource manager for high-density Docker stacks on Raspberry Pi and low-power servers.

• automation
• cgroupv2
• docker
• homelab