libmrpt-gui2.11

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

libintl-xs-perl

XS Uniforum message translations system compatible i18n library

libintl-perl is an internationalization library for Perl that aims to be compatible with the Uniforum message translations system as implemented for example in GNU gettext.

ibus-input-pad

Input Pad for IBus

The input pad engine for IBus platform. It provides the interface to use input-pad with IBus.

python3-brial

polynomials over Boolean Rings, Python 3 module

The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.

libmrpt-nanogui2.11

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

libdolfinx-mpc0.6

Multi-point constraints with FEniCS-X

This library contains an add-on to FEniCSx enabling the possibilities of enforce multi-point constraints. This can be used to for instance enforce slip conditions strongly, or apply periodic boundaries..