aaronpuchert's Stars
iovisor/bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Z3Prover/z3
The Z3 Theorem Prover
iovisor/bpftrace
High-level tracing language for Linux eBPF
cplusplus/draft
C++ standards drafts
include-what-you-use/include-what-you-use
A tool for use with clang to analyze #includes in C and C++ source files
klee/klee
KLEE Symbolic Execution Engine
AMDESE/amd-perf-tools
Documentation and diagnostic utilities for running Linux perf on AMD hardware
cjcliffe/NoComply
No Comply
agentfuture/ymixr
ymixr is a WebApp that provides mixing and simple playlist functionality to many of the common media webservices like youtube, vimeo or soundcloud.