libmrpt-bayes2.11t64

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

msolve

computer algebra algorithms for solving polynomial systems

msolve is an open source C library implementing computer algebra algorithms for solving polynomial systems (with rational coefficients or coefficients in a prime field).

node-hsluv

HSLuv is a human-friendly alternative to HSL

This is an alternative to the HSL (hue, saturation, lightness) colorspace which implements the idea of specifying a color by hue, saturation and lightness in a way that is compatible with how they are perceived by humans.

libcoq-mathcomp-abel

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library.

tryton-modules-stock-consignment

Tryton application platform - stock consignment module

Tryton is a high-level general purpose application platform. It is the base of a complete business solution as well as a comprehensive health and hospital information system (GNUHealth).

libgwengui-fox16-79t64

Gwenhywfar GUI implementation for the FOX Toolkit

Gwenhywfar allows porting of your software to different operating systems like Linux, *BSD, Windows etc. It also provides some often needed modules such as configuration file handling, simple XML file parsing, IPC etc.