python3-fqdn
Python library to validate fully qualified domain names (FQDNs)
This package validates FQDNs conforming to the Internet Engineering
Task Force (IETF) specification (RFC 1123 in particular). The design
intent is to validate that a string would be traditionally acceptable
as a public Internet hostname to RFC-conforming software. Configuration
options can be used to obtain more relaxed checks.
libdart-external-imgui6.12
Kinematics Dynamics and Optimization Library - imgui 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.
adr-tools
tools for working with a log of Architecture Decision Records
Architecture Decision Records or ADRs for short encode architectural
decisions through the lifetime of a project. They are meant to help future
maintainers to understand how the project came do be the way it is. ADRs can
help understand past decisions, supersede them with new decisions and list
currently effective decisions.
libavformat59
FFmpeg library with (de)muxers for multimedia containers - runtime files
FFmpeg is the leading multimedia framework, able to decode, encode, transcode,
mux, demux, stream, filter and play pretty much anything that humans and
machines have created. It supports the most obscure ancient formats up to the
cutting edge.
postgresql-16-h3
PostgreSQL bindings for H3, a hierarchical hexagonal geospatial indexing system
H3 is a geospatial indexing system using a hexagonal grid that can be
(approximately) subdivided into finer and finer hexagonal grids, combining the
benefits of a hexagonal grid with S2's hierarchical subdivisions.
python3-pyina
MPI parallel map and cluster scheduling
The pyina package provides several basic tools to make MPI-based
parallel computing more accessible to the end user. The goal of pyina
is to allow the user to extend their own code to MPI-based parallel
computing with minimal refactoring.