libvisp-vs3.5

visual servoing platform vs library

This package contains the ViSP (Visual Servoing Platform) visual serving (vs) runtime library.

libphodav-3.0-0

WebDAV server implementation using libsoup

phởdav is a WebDAV server implementation using libsoup (RFC 4918).

libptime-ocaml

POSIX time for OCaml (runtime)

Ptime has platform independent POSIX time support in pure OCaml. It provides a type to represent a well-defined range of POSIX timestamps with picosecond precision, conversion with date-time values, conversion with RFC 3339 timestamps and pretty printing to a human-readable, locale-independent representation.

python3-gemmi

library for structural biology - Python module

Library for macromolecular crystallography and structural bioinformatics. For working with coordinate files (mmCIF, PDB, mmJSON), refinement restraints (monomer library), electron density maps (CCP4), and crystallographic reflection data (MTZ, SF-mmCIF). It understands crystallographic symmetries, it knows how to switch between the real and reciprocal space and it can do a few other things.

libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libadios2-mpi-core-2

ADIOS2 Adaptable IO system for simulations - core libraries (MPI)

The Adaptable IO System (ADIOS) provides a simple, flexible way for scientists to describe the data in their code that may need to be written, read, or processed outside of the running simulation. By providing an external to the code XML file describing the various elements, their types, and how you wish to process them this run, the routines in the host code (either Fortran or C) can transparently change how they process the data.