jbmc
bounded model checker for Java programs
JBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
lib64go42-x32-cross
Runtime library for GNU Go applications (64bit)
Library needed for GNU Go applications linked against the
shared library.
libghc-wide-word-prof
data types for large but fixed width signed and unsigned integers; profiling lib
A library to provide data types for large (ie > 64 bits) but fixed width signed
and unsigned integers with the usual typeclass instances to allow them to be used
interchangeably with `Word64`.
gcc-11-plugin-dev-mipsisa32r6el-linux-gnu
Files for GNU GCC plugin development.
This package contains (header) files for GNU GCC plugin development. It
is only used for the development of GCC plugins, but not needed to run
plugins.
libopencv-viz4.5d
computer vision 3D data visualization library
This package contains the OpenCV (Open Computer Vision) 3D data visualization
runtime libraries.
libmrpt-ros1bridge2.11t64
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).