libmrpt-vision-lgpl2.5
Mobile Robot Programming Toolkit - vision-lgpl 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).
libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
libstarpu-1.3-7
Task scheduler for heterogeneous multicore machines
StarPU is a runtime system that offers support for heterogeneous
multicore machines. While many efforts are devoted to design efficient
computation kernels for those architectures (e.g. to implement BLAS
kernels on GPUs or on Cell's SPUs), StarPU not only takes care of
offloading such kernels (and implementing data coherency across
the machine), but it also makes sure the kernels are executed as
efficiently as possible.
libgpiv-mpi3t64
library for Particle Image Velocimetry (PIV) - MPI version
This library contains functions for evaluating images from a fluid
flow by means of Particle Image Velocimetry (PIV).
libmrpt-core2.5
Mobile Robot Programming Toolkit - core 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).
libgfortran-11-dev-arm64-cross
Runtime library for GNU Fortran applications (development files)
This package contains the headers and static library files needed to build
GNU Fortran applications.