gnat-14-mipsisa32r6el-linux-gnu
GNU Ada compiler for the mipsisa32r6el-linux-gnu architecture
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
libslepc64-real3.19
Scalable Library for Eigenvalue Problem Computations (64-bit)
SLEPc is a software library for the solution of large scale sparse eigenvalue
problems on parallel computers. It is an extension of PETSc and can be used
for either standard or generalized eigenproblems, with real or complex
arithmetic. It can also be used for computing a partial SVD of a large,
sparse, rectangular matrix.
libgap8
GAP computer algebra system, compiler and development files
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.
libmrpt-random2.12
Mobile Robot Programming Toolkit - random 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).
debian-reference-pt-br
Debian system administration guide, Portuguese translation
This Debian Reference is intended to provide a broad overview of the Debian
system as a post-installation user's guide. It covers many aspects of system
administration through shell-command examples for non-developers.
libmrpt-kinematics2.12
Mobile Robot Programming Toolkit - kinematics 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).