libcoq-mathcomp-real-closed
Real closed fields for Mathematical Components
This library contains definitions and theorems about real closed fields
for Mathematical Components. It includes a construction of the real
and algebraic closure (with a proof of the fundamental theorem of
algebra). The decidability of the first order theory of real closed
field, through quantifier elimination is also established.
python3-prometheus-flask-exporter
Prometheus metrics exporter for Flask (Python 3)
This library provides HTTP request metrics to export into Prometheus.
It can also track method invocations using convenient functions.
libmrpt-system2.11
Mobile Robot Programming Toolkit - system library
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).
libnginx-mod-http-geoip2
GeoIP2 HTTP module for Nginx
The ngx_http_geoip2 module creates variables with values depending on the
client IP address, using the precompiled MaxMind GeoIP2 databases.
libmrpt-slam2.11
Mobile Robot Programming Toolkit - slam library
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).
python3-pycountry
ISO databases accessible from Python 3
pycountry provides ISO country, subdivision, language, currency and script
definitions and their translations, taken from the iso-codes package.