Fast C++ logging library.

Karabiner-Elements is a powerful tool for customizing keyboards on macOS

Simple and Fast Multimedia Library

A bytecode optimizer for Android apps

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Postmodern immutable and persistent data structures for C++ — value semantics at scale

rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.

A security focused static analysis tool for Android and Java applications.

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

SLiM + slock = slimlock

Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

Min-max algorithm for game theory

Some C++ game engine

Mirror of official libcxx git repository located at http://llvm.org/git/libcxx. Updated every five minutes.