Pinned Repositories
ArtemisMissionEditor
Artemis Mission Editor Open Source Project
dctcp
DC-TCP Internet Draft collaboration
ebpf-docs
rst2rfcxml
Convert reStructured Text to rfc2xml Version 3
teep
C Implementation of draft-ietf-teep-protocol
GEDCOM
GEDCOM-registries
GEDCOM.io
Files for the GEDCOM.io website
ebpf-for-windows
eBPF implementation that runs on top of Windows
ebpf-verifier
eBPF verifier based on abstract interpretation
dthaler's Repositories
dthaler/ebpf-docs
dthaler/teep
C Implementation of draft-ietf-teep-protocol
dthaler/rst2rfcxml
Convert reStructured Text to rfc2xml Version 3
dthaler/ArtemisMissionEditor
Artemis Mission Editor Open Source Project
dthaler/ebpf-for-windows
eBPF implementation that runs on top of Windows
dthaler/gedcom-citations
GEDCOM extensions for citations
dthaler/aifororcas-livesystem
Real-time AI-assisted killer whale notification system (model and moderator portal) :star:
dthaler/ArtemisMissions
dthaler/authors.ietf.org
Content of authors.ietf.org
dthaler/bpf-charter
Temporary repo for (e)BPF work prior to working group formation
dthaler/bpf_conformance
Measures the conformance of a BPF runtime to the ISA.
dthaler/bpftool-1
Automated upstream mirror for bpftool stand-alone build.
dthaler/bsc
eBPF Steering Committee (BSC)
dthaler/draft-protocol-greasing
dthaler/dump-handle-processes
dthaler/ebpf-docs-1
eBPF Standard Documentation
dthaler/ebpf-samples
Sample ebpf programs to analyze
dthaler/ebpf-verifier
A new eBPF verifier, using abstract interpretation
dthaler/GEDCOM
dthaler/GEDCOM-registries
dthaler/GEDCOM.io
Files for the GEDCOM.io website
dthaler/l3afd
L3AFD kernel function control plane
dthaler/libcsuit
IETF SUIT Manifest parser implemented in C.
dthaler/orcasite
Live-listening web app -- http://live.orcasound.net :star:
dthaler/rats-endorsements-old
dthaler/t_cose
Commercial quality COSE_Sign1 implementation in C for constrained environment. Works with MbtedTLS and OpenSSL Crypto.
dthaler/test-files
Example GEDCOM files for testing parsers and converters
dthaler/usersim
dthaler/windows-driver-docs
The official Windows Driver Kit documentation sources
dthaler/windows-driver-docs-ddi
The official Windows Driver Kit DDI reference documentation sources