Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.

My favorite C programming practices.

🌀 A log file highlighter

The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/

An eBPF Manager for Linux and Kubernetes

eBPF (extended Berkeley Packet Filter) Guide. Learn all about the eBPF Tools and Libraries for Security, Monitoring , and Networking.

A complete computer science study plan to become a software engineer.

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

eBPF Collector

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

An implementation of differential dataflow using timely dataflow on Rust.

NVIDIA Linux open GPU kernel module source

KVM based tiny x86 hypervisor written in pure golang, which can boot Linux

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.