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