libosmogb12
Osmo GPRS GB library
This is part of the libosmocore "meta"-library. The libosmocore library
contains various utility functions that were originally developed as part of
the OpenBSC project, but which are of a more generic nature and thus useful to
(at least) other programs that are developed in the sphere of Free Software /
Open Source mobile communication.
libosmocore18
Osmo Core library
This is part of the libosmocore "meta"-library. The libosmocore library
contains various utility functions that were originally developed as part of
the OpenBSC project, but which are of a more generic nature and thus useful to
(at least) other programs that are developed in the sphere of Free Software /
Open Source mobile communication.
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.