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

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

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

The package provides a C/C++ utility library used by Linphone and other software by Belledonne Communications. The library offers platform independent implementations of cryptographic functions, exception handling, logging modules, file access, unit tests and data structures like lists and maps.

A widget factory is a theme preview application for GTK. It displays the various widget types provided by GTK in a single window allowing to see the visual effect of the applied theme.

mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In conjunction with elan it allows a user to create, build, update and otherwise manage projects using the Lean 3 theorem prover and the mathlib library of mathematics and tactics.