lib32stdc++-14-dev-s390x-cross

GNU Standard C++ Library v3 (development files) (s390x

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

libmrpt-nav2.11

Mobile Robot Programming Toolkit - nav 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.

libmrpt-serialization2.11

Mobile Robot Programming Toolkit - serialization 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).

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

gdc-13-riscv64-linux-gnu

GNU D compiler (version 2) for the riscv64-linux-gnu architecture

This is the GNU D compiler for the riscv64-linux-gnu architecture, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.