emis6's Stars
torvalds/linux
Linux kernel source tree
iovisor/bpf-docs
Presentations and docs
iovisor/bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
fixif/FxP
(reliable) Fixed-Point arithmetic tools
ccadar/klee
KLEE Symbolic Virtual Machine
nal-epfl/castan
Cycle Accurate Symbolic Timing Analysis of Network Functions
eclipse-archived/ceylon
The Ceylon compiler, language module, and command line tools
Whiley/WhileyCompiler
The Whiley Compiler (WyC)
iluwatar/java-design-patterns
Design patterns implemented in Java