idosch's Stars
Mellanox/mlxsw
osandov/drgn
Programmable debugger
dsahern/bpf-progs
LNST-project/lnst
Linux Network Stack Test
cemeyer/msp430-emu-uctf
msp430 emulator for uctf (with remote GDB debugging, reverse debugging, and optional symbolic execution)
ovity/octotree
GitHub on steroids
idosch/tecs
Solutions to TECS