Dave Thaler's starred repositories
rst2rfcxml
Convert reStructured Text to rfc2xml Version 3
governance
Confidential Computing Consortium Governance Documents
ebpf-verifier
eBPF verifier based on abstract interpretation
ebpf-for-windows
eBPF implementation that runs on top of Windows
openenclave
SDK for developing enclaves