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.