libck0t64

Concurrency Kit (library)

The Concurrency Kit library implements concurrency primitives, safe memory reclamation mechanisms and non-blocking data structures for the research, design and implementation of high performance concurrent systems.

libsimtkmolmodel3.1t64

C++ API for creating molecular models for SimTK

Provides C++ API for creating molecular models whose dynamics can be simulated using the SimTK Simbody library. Molmodel is a programmer's toolkit for building reduced-coordinate, yet still all-atom, models of large biopolymers such as proteins, RNA, and DNA. One can control the allowed mobility. By default, Molmodel builds torsion-coordinate models in which bond stretch and bend angles are rigid while bond torsion angles are mobile. But one is able to rigidify or free any subsets of the atoms, such as the rigid benzene ring.

libgap9

GAP computer algebra system, compiler and development files

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.