Dave Thaler (dthaler)

dthaler

Geek Repo

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 repositories

teep

C Implementation of draft-ietf-teep-protocol

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

rst2rfcxml

Convert reStructured Text to rfc2xml Version 3

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

ArtemisMissionEditor

Artemis Mission Editor Open Source Project

ebpf-for-windows

eBPF implementation that runs on top of Windows

Language:CLicense:MITStargazers:1Issues:1Issues:0

gedcom-citations

GEDCOM extensions for citations

Stargazers:1Issues:0Issues:0

aifororcas-livesystem

Real-time AI-assisted killer whale notification system (model and moderator portal) :star:

Language:C#License:MITStargazers:0Issues:0Issues:0
Language:BatchfileLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

authors.ietf.org

Content of authors.ietf.org

License:NOASSERTIONStargazers:0Issues:0Issues:0

bpf-charter

Temporary repo for (e)BPF work prior to working group formation

Stargazers:0Issues:0Issues:0

bpf_conformance

Measures the conformance of a BPF runtime to the ISA.

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

bpftool-1

Automated upstream mirror for bpftool stand-alone build.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

bsc

eBPF Steering Committee (BSC)

Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:1Issues:0

ebpf-docs-1

eBPF Standard Documentation

Language:PythonStargazers:0Issues:0Issues:0

ebpf-samples

Sample ebpf programs to analyze

Language:CStargazers:0Issues:1Issues:0

ebpf-verifier

A new eBPF verifier, using abstract interpretation

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

ebpf.io

ebpf.io Website

Language:JavaScriptLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0

GEDCOM.io

Files for the GEDCOM.io website

Language:HTMLStargazers:0Issues:0Issues:0

l3afd

L3AFD kernel function control plane

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

libcsuit

IETF SUIT Manifest parser implemented in C.

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

orcasite

Live-listening web app -- http://live.orcasound.net :star:

License:AGPL-3.0Stargazers:0Issues:0Issues:0
Language:MakefileLicense:NOASSERTIONStargazers:0Issues:0Issues:0

t_cose

Commercial quality COSE_Sign1 implementation in C for constrained environment. Works with MbtedTLS and OpenSSL Crypto.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

test-files

Example GEDCOM files for testing parsers and converters

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

windows-driver-docs

The official Windows Driver Kit documentation sources

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

windows-driver-docs-ddi

The official Windows Driver Kit DDI reference documentation sources

License:CC-BY-4.0Stargazers:0Issues:0Issues:0