libdart6.12
Kinematics Dynamics and Optimization Library - main library
DART is a collaborative, cross-platform, open source library created by the
Georgia Tech Graphics Lab and Humanoid Robotics Lab. The library provides data
structures and algorithms for kinematic and dynamic applications in robotics
and computer animation.
DART is distinguished by it's accuracy and stability due to its use of
generalized coordinates to represent articulated rigid body systems and
computation of Lagrange's equations derived from D.Alembert's principle to
describe the dynamics of motion.
For developers, in contrast to many popular physics engines which view the
simulator as a black box, DART gives full access to internal kinematic and
dynamic quantities, such as the mass matrix, Coriolis and centrifugal forces,
transformation matrices and their derivatives. DART also provides efficient
computation of Jacobian matrices for arbitrary body points and coordinate
frames. Contact and collision are handled using an implicit time-stepping,
velocity-based LCP (linear-complementarity problem) to guarantee
non-penetration, directional friction, and approximated Coulomb friction cone
conditions. For collision detection, DART uses FCL developed by Willow Garage
and the UNC Gamma Lab.
DART has applications in robotics and computer animation because it features a
multibody dynamic simulator and tools for control and motion planning.
Multibody dynamic simulation in DART is an extension of RTQL8, an open source
software created by the Georgia Tech Graphics Lab.
image-analyzer
Mirage Image Analyzer
Image Analyzer is a Gtk3-based utility for CD/DVD image analysis
and manipulation, with following functionality:
- disc image layout visualization
- reading of sector data from image
- analysis of error correction and detection codes in sector main and
subchannel data
- retrieval of disc (DVD) structures, if available
- visualization of disc topology (DPM) data, if available
- image format conversion
- logging facilities for debugging
libpqxx-7.9
C++ library to connect to PostgreSQL
C++ library to enable user programs to communicate with
the PostgreSQL database back-end. The database back-end can
be local or it may be on another machine, accessed via
TCP/IP. This package obsoletes the libpqpp package.
libbullet-extras3.24
professional 3D Game Multiphysics Library -- extra libraries
Bullet professional 3D Game Multiphysics Library provides state of the art
collision detection, soft body and rigid body dynamics.
libgnat-11-arm64-cross
runtime for applications compiled with GNAT (shared library)
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
lib32gphobos4
Phobos D standard library (runtime library)
This is the Phobos standard library that comes with the D2 compiler.