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.