swi-prolog-java

Bidirectional interface between SWI-Prolog and Java

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.
model building program for macromolecular crystallography

coot

model building program for macromolecular crystallography

This is a program for constructing atomic models of macromolecules from x-ray diffraction data. Coot displays electron density maps and molecular models and allows model manipulations such as idealization, refinement, manual rotation/translation, rigid-body fitting, ligand search, solvation, mutations, rotamers. Validation tools such as Ramachandran and geometry plots are available to the user. This package provides a Coot build with embedded Python support.

science-imageanalysis

Debian Science image analysis packages

This metapackage will install Debian Science packages related to scientific image acquisition. This might be used in several sciences (as for instance science-dataacquisition, science-viewing and science-typesetting).

libmkl-core

Intel® MKL: Library dispatcher of Computational Layer

Intel® Math Kernel Library (Intel® MKL) is a computing math library of highly optimized, extensively threaded routines for applications that require maximum performance.

swi-prolog-odbc

ODBC library for SWI-Prolog

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.

wims-modules

minimal set of modules used by WIMS

WIMS uses modules to implement every user interface beyond its main page, including administrative tasks, help, mathematic tools, libraries, and a few interactive exercises.