libsswmcpl1
Monte Carlo Particle Lists - SSW library
This package includes the shared library for reading and writing
*.mcpl files, a binary format with lists of particle state
information, for interchanging and reshooting events between various
Monte Carlo simulation applications.
libghc-ogma-language-c-prof
Ogma: Runtime Monitor translator: C Language Frontend; profiling libraries
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.
python3-cvelib
library and a command line interface for the CVE Services API
cvelib is a library and a command line interface to interact with the
MITRE CVE Services API, including functions to reserve one or more CVE
IDs for a CNA, filter and list reserved CVEs owned by a CNA, and
administration of user and tokes for a CNA.
python3-torch-sparse
PyTorch Extension Library of Optimized Autograd Sparse Matrix Operations
This package consists of a small extension library of optimized sparse matrix
operations with autograd support.
xtb
semiempirical extended tight-binding program package
xtb program performs semiempirical quantummechanical calculations. The
underlying effective Hamiltonian is derived from density functional tight
binding (DFTB). This implementation of the xTB Hamiltonian is currently
compatible with the zeroth, first and second level parametrisation for
geometries, frequencies and non-covalent interactions (GFN) as well as with
the ionisation potential and electron affinity (IPEA) parametrisation of the
GFN1 Hamiltonian. The generalized born (GB) model with solvent accessable
surface area (SASA) is also available available in this version. Ground state
calculations for the simplified Tamm-Danceoff approximation (sTDA) with the
vTB model are currently not implemented.
libghc-ogma-extra-prof
Helper tool to interoperate between Copilot and other languages; profiling libra
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.