This library contains definitions and theorems about real closed fields for Mathematical Components. It includes a construction of the real and algebraic closure (with a proof of the fundamental theorem of algebra). The decidability of the first order theory of real closed field, through quantifier elimination is also established.

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

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

Fml-asm (fermi-lite assembler) is a command-line tool for assembling Illumina short reads in regions from 100bp to 10 million bp in size, based on the fermi-lite library.

Examples, Demos and Tools for Python (v3.13). These are files included in the upstream Python distribution (v3.13).

G-Golf low level API comprises a binding to - (most of) the GObject Introspection and (some of) the GObject and Glib libraries, as well as additional (G-Golf) utilities - used to import GObject libraries and build their corresponding G-Golf high level API. G-Golf high level API makes (imported) GOBject classes and methods available using GOOPS, the Guile Object Oriented System. G-Golf is a tool to develop modern graphical applications.