libdrumstick-file2t64

File format support library for drumstick (shared library)

This library is a C++ wrapper around the ALSA library sequencer interface, using Qt6 objects, idioms and style. ALSA sequencer provides software support for MIDI technology on Linux. Complementary classes for RMI and WRK file processing are also included.

libdrumstick-rt2t64

Realtime MIDI I/O with pluggable backends (shared library)

This library is a C++ wrapper around the ALSA library sequencer interface, using Qt6 objects, idioms and style. ALSA sequencer provides software support for MIDI technology on Linux. Complementary classes for RMI and WRK file processing are also included.

libdrumstick-widgets2t64

Qt6/C++ wrapper for ALSA Sequencer (widgets)

This library is a C++ wrapper around the ALSA library sequencer interface, using Qt6 objects, idioms and style. ALSA sequencer provides software support for MIDI technology on Linux. Complementary classes for RMI and WRK file processing are also included.

coq-serapi

interaction with Coq (utils)

SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.

libgkarrays1t64

library to query large collection of NGS sequences

Gk-arrays are provided as a simple-to-use C++ library dedicated to queries on large collection of sequences as produced by high-throughput sequencers (e.g. HiSeq 2000 from Illumina, 454 from Roche).

libdart-collision-ode6.12t64

Kinematics Dynamics and Optimization Library - ODE Collision 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.