gdc-13-mipsisa64r6el-linux-gnuabi64
GNU D compiler (version 2) for the mipsisa64r6el-linux-gnuabi64 architecture
This is the GNU D compiler for the mipsisa64r6el-linux-gnuabi64 architecture,
which compiles D on platforms supported by gcc.
It uses the gcc backend to generate optimised code.
python3-kconfiglib
Alternative Kconfig implementation (Python 3)
Kconfiglib is a Kconfig implementation in Python. Kconfig is used for the
Linux kernel configuration amongst others. This helper library can be
used to configure a Kconfig software within a Python program.
liblogstash-logback-encoder-java
Logstash Logback Encoder
Provides logback encoders, layouts, and appenders to log in JSON and other
formats supported by Jackson
libokular5core10
libraries for the Okular document viewer
This package contains libraries used by the Okular document viewer.
libghc-srcloc-prof
data types for managing source code locations; profiling libraries
Data types for tracking, combining, and printing source code locations.
libdart-collision-bullet6.12
Dynamic Animation and Robotics Toolkit - Bullet Collision 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.