This is a staging site. Uploads will not persist. Testing only.
gcc-14-multilib-x86-64-linux-gnux32
GNU C compiler (multilib support) (cross compiler for x32 architecture)
This is the GNU C compiler, a fairly portable optimizing compiler for C.
gcc-14-plugin-dev-arc-linux-gnu
Files for GNU GCC plugin development.
This package contains (header) files for GNU GCC plugin development. It
is only used for the development of GCC plugins, but not needed to run
plugins.
libdnnl3
oneAPI Deep Neural Network Library (oneDNN) (lib)
oneAPI Deep Neural Network Library (oneDNN) is an open-source performance
library for deep learning applications. The library includes basic building
blocks for neural networks optimized for Intel Architecture Processors and
Intel Processor Graphics.
efi-shell-x64
UEFI Shell for 64-bit x86 architecture
The UEFI Shell provides a command line interface running on top of the EFI API.
It can be used to execute EFI binaries, to manage EFI variables and boot
options, or to display details of installed devices, drivers, and protocols.
This package contains the shellx64.efi binary for the 64-bit x86
architecture.
libdart-optimizer-nlopt6.12t64
Kinematics Dynamics and Optimization Library - nlopt optimizer lib
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.
libdart-utils-urdf6.12t64
Kinematics Dynamics and Optimization Library - Utils URDF 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.