Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A dynamic taint analysis for Erlang

build-once run-anywhere c library

A cat(1) clone with wings.

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

KLEE Symbolic Execution Engine

Painless relocation of Linux binaries–and all of their dependencies–without containers.

SVF / LLVM 3.4 port

UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

C-Reduce, a C and C++ program reducer

Deep Learning for humans