libcsfml-system2.6

Libraries for the C Binding of SFML - System Part

SFML is a modern multimedia library offering a wide range of subsystems useful to produce a multimedia app. It offers OpenGL integration for Hardware accelerated Graphics, Windowing and Input support, Audio and Network facilities and supports GNU/Linux, MS Windows and Mac OS X. CSFML provides the bindings needed to use SFML with the C programming language.

libdmapsharing-4.0-3t64

DMAP client and server library - runtime

libdmapsharing is a library to access and share content through the DMAP (DAAP & DPAP) protocols. The library is written in C using GObject and libsoup.

libdart-collision-bullet6.12t64

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

libgda-5.0-4t64

data abstraction library based on GLib

libgda is a (relatively small) database abstraction/access library integrated on the GLib object model. It can be used as a metadata extractor, to get information about all database objects in a common way, and as an ODBC-like wrapper to access data in different engines through an easier API.

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.

libcoq-serapi-ocaml

interaction with Coq (runtime)

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