Giters
Dave Thaler (dthaler)

dthaler

Geek Repo

65

followers

0

following

7

stars

Company:Microsoft

Location:Redmond, WA

Home Page:https://www.microsoft.com/en-us/research/people/dthaler/

Twitter:@ThalerDave

Github PK Tool:Github PK Tool

Dave Thaler's starred repositories

rst2rfcxml

Convert reStructured Text to rfc2xml Version 3

Language:C++License:MITStargazers:5Issues:0Issues:0

l3afd

L3AFD eBPF Programs control plane

Language:GoLicense:Apache-2.0Stargazers:181Issues:0Issues:0

governance

Confidential Computing Consortium Governance Documents

Stargazers:68Issues:0Issues:0

ebpf-verifier

eBPF verifier based on abstract interpretation

Language:C++License:MITStargazers:375Issues:0Issues:0

ebpf-for-windows

eBPF implementation that runs on top of Windows

Language:CLicense:MITStargazers:2822Issues:0Issues:0

openenclave

SDK for developing enclaves

Language:CLicense:MITStargazers:1051Issues:0Issues:0

enarx

Enarx: Confidential Computing with WebAssembly

Language:RustLicense:Apache-2.0Stargazers:1276Issues:0Issues:0