libmrpt-ros1bridge2.11
Mobile Robot Programming Toolkit - ros1bridge 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).
libspex2
solves sparse linear systems in exact arithmetic
Suitesparse is a collection of libraries for computations involving
sparse matrices.
libmrpt-random2.11
Mobile Robot Programming Toolkit - random 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).
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).