libdart6
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.
This package contains the main library of DART.
libdc1394-25
high level programming interface for IEEE 1394 digital cameras
libdc1394 is a library that is intended to provide a high level
programming interface for application developers who wish to control
IEEE 1394 based cameras that conform to the 1394-based Digital Camera
Specification (found at http://www.1394ta.org/).
gir1.2-libinsane-1.0
Library to access scanner - GObject bindings
A cross-platform, cross-programming languages, cross scanner library
that takes care of all the quirks of scanners.
mathlibtools
supporting tool for Lean mathlib
mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In
conjunction with elan it allows a user to create, build, update and
otherwise manage projects using the Lean 3 theorem prover and the mathlib
library of mathematics and tactics.
tpm-udev
udev rules for TPM modules
This package provides udev rules for the TPM modules. Both TPM1 or TPM2 need
this package to be installed to provide proper permissions of the TPM.
libndpi3.0
extensible deep packet inspection library - shared library
nDPI is a ntop-maintained superset of the popular OpenDPI library. Released
under the LGPL license, its goal is to extend the original library by adding
new protocols that are otherwise available only on the paid version of
OpenDPI.