libdart-utils-urdf6.12

Dynamic Animation and Robotics Toolkit - 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.

libgo21-sparc64-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.

libdeal.ii-9.6.2

Finite Element Differential Equations Analysis Library

deal.II is a C++ program library targeted at the computational solution of partial differential equations using adaptive finite elements. It uses state-of-the-art programming techniques to offer you a modern interface to the complex data structures and algorithms required.

pylibtiff

wrapper to the libtiff library to Python using ctypes (command line utilities)

PyLibTiff is a package that provides:

libgphobos2-s390x-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.

libgmap-ocaml

heterogenous maps over a GADT for OCaml (runtime files)

Gmap exposes the functor Make which takes a key type (a GADT 'a key) and outputs a type-safe Map where each 'a key is associated with a 'a value. This removes the need for additional packing. It uses OCaml's stdlib Map data structure.