libcoq-mathcomp-multinomials
Multivariate polynomials for Mathematical Components
This package provides an extension to Mathematical Components
for monomial algebra, multivariate polynomials over ring
structures and an extended theory for polynomials whose
coefficients live in abelian rings and integral domains.
libmrpt-io2.5
Mobile Robot Programming Toolkit - io 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).
kylin-process-manager
Process manager for UKUI
kylin-process-manager is responsible for application startup and limits
resources for applications based on the status of the application window.
It ensures that system components and focus application can obtain
more system resources.
libmrpt-hmtslam2.5
Mobile Robot Programming Toolkit - hmtslam 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-graphslam2.5
Mobile Robot Programming Toolkit - graphslam 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).
libstatistics-r-io-perl
Perl interface to serialized R data
Statistics::R::IO is a pure-Perl implementation for reading native data
files produced by the R statistical computing environment.