The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

TOPCOM is a collection of clients to compute Triangulations Of Point Configurations and Oriented Matroids, resp.

SPHINX -- password Store that Perfectly Hides from Itself (No Xaggeration) -- is an information-theoretically secure cryptographic password storage protocol with strong security guarantees, as described in the 2015 paper "Device-Enhanced Password Protocols with Optimal Online-Offline Protection" by Jarecki, Krawczyk, Shirvanian, and Saxena (https://ia.cr/2015/1099).

SPHINX -- password Store that Perfectly Hides from Itself (No Xaggeration) -- is an information-theoretically secure cryptographic password storage protocol with strong security guarantees, as described in the 2015 paper "Device-Enhanced Password Protocols with Optimal Online-Offline Protection" by Jarecki, Krawczyk, Shirvanian, and Saxena (https://ia.cr/2015/1099).

This is used to develop subsets of the libstdc++ shared libraries for use on custom installation floppies and in embedded systems.

ThreadSanitizer (Tsan) is a data race detector for C/C++ programs. The Linux and Mac versions are based on Valgrind.