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.