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