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