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.
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.