Will Hawkins's repositories
functional_foundations
A set of code walkthrough exploring functional programming concepts using analogy and Python.
agda
Agda is a dependently typed programming language / interactive theorem prover.
bpf_conformance
Measures the conformance of a BPF runtime to the ISA.
bpf_stacktrace
An example of how to use bpf_get_stackid to generate a stacktrace when a performance event occurs.
bufferbloat-net
The source repository for the bufferbloat.net web site
cerfcast
A data repository for collecting statistics about the Internet through active and passive data collection.
clap
A full featured, fast Command Line Argument Parser for Rust
cpython
The Python programming language
ladybird
Truly independent web browser
libpnet
Cross-platform, low level networking using the Rust programming language.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
quic-wg-wiki
Clone of QUIC WG Wiki to submit changes.
rxdp
Rust bindings for working with XDP programs and eBPF maps
Virtualization-Documentation
Place to store our documentation, code samples, etc for public consumption.