0. ViSP- ViSP is a C++ toolkit that allows rapid prototyping of visual servoing applications. The library features a wide class of control skills as well as real-time tracking processes and simulation capabilities.

1. CryptoMiniSat- CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/
The source is available on github: https://github.com/msoos/cryptominisat

10. Expé- Expe stands for EXperimental Point Engine. This is a research framework to manipulate point set surfaces. It includes: various splatting algorithms, MLS surfaces (HPSS, APSS, RIMLS), a MLS based volume framework, etc.