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.