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.