UNIX-like reverse engineering framework and command-line toolset

Linux Device Drivers 3 examples updated to work in recent kernels

creating a tiny tensor library in raw C

Non-euclidean GPU Raytraced Game

Xilinx QDMA IP Drivers

BloomFilter(s) in Ruby: Native counting filter + Redis counting/non-counting filters

Making eBPF programming easier via build env and examples

Minimal, collaboratively written kernel

Book in Progress

The efficient SMT-based context-bounded model checker (ESBMC)

NetHack on the Web!

The world's worst kernel module

Kernel Test Framework

My basic OpenGL starter program

3D graphics renderer made from scratch using the C programming language.

Experimental XDP DNS server powered by eBPF

machine learning from absolute scratch in c. gradients, linear algebra ops & everything else without using any third party library!