JBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

This project was started to fulfill the need of a reliable implementations of such standards in the AppImage project. It is totally standalone and only depends on the standard c++ library (stdlib).

The @concurrent-extra@ package offers among other things the following selection of synchronisation primitives:

This library is a reimplementation of libdjb, which means that it provides Daniel Bernstein's interfaces (with some extensions).

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

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).