linux-support-5.16.0-4

Support files for Linux 5.16

This package provides support files for the Linux kernel build, e.g. scripts to handle ABI information and for generation of build system meta data.

libnetsvcs-7.0.3

ACE network service implementations - libraries

ACE network services provide reusable components for common distributed system tasks such as logging, naming, locking, and time synchronization.

libahven31

Unit test library for Ada

Ahven is a simple unit test library for the Ada 95 programming language. It is loosely modeled after JUnit, and some ideas are taken from AUnit. Ahven is free software distributed under permissive ISC license and should work with any Ada 95 compiler.

pan-imaging

imaging software

This metapackage will install all X-ray photons-and-neutrons PAN imaging software

libportal-gtk4-1

Flatpak portal library for GTK 4 GUIs

libportal provides GIO-style C APIs for most Flatpak portals' D-Bus interfaces. It is primarily intended for installation in Flatpak runtimes, where applications can use it to interact with portals; it can also be used to test the portal services.

libdart-optimizer-nlopt6.12

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.