- Tokyo, JAPAN
Stars
Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.
The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/
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
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.