python3-petsc4py-64-real3.21
Python 3 bindings for 64-bit PETSc 3.21 libraries (real numbers)
PETSc is a suite of data structures and routines for the scalable (parallel)
solution of scientific applications modeled by partial differential equations.
It employs the MPI standard for all message-passing communication.
python3-petsc4py-real3.21
Python 3 bindings for PETSc 3.21 libraries (real numbers)
PETSc is a suite of data structures and routines for the scalable (parallel)
solution of scientific applications modeled by partial differential equations.
It employs the MPI standard for all message-passing communication.
masakari-introspective-instance-monitor
OpenStack VirtualMachine High Availability (VMHA) - introspective host monitor
Masakari provides Virtual Machine High Availability (VMHA) service for
OpenStack clouds by automatically recovering the KVM-based Virtual
Machine(VM)s from failure events such as VM process down, provisioning
process down, and nova-compute host failure. It also provides API service for
manage and control the automated rescue mechanism.
mdformat
CommonMark compliant Markdown formatter
Mdformat is an opinionated Markdown formatter that can be used to
enforce a consistent style in Markdown files.
maude
high-performance logical framework
Maude is a high-performance reflective language and system supporting
both equational and rewriting logic specification and programming for
a wide range of applications. Maude has been influenced in important
ways by the OBJ3 language, which can be regarded as an equational
logic sublanguage. Besides supporting equational specification and
programming, Maude also supports rewriting logic computation.
python3-neutron-dynamic-routing
OpenStack Neutron Dynamic Routing - Python library
Neutron provides an API to dynamically request and configure virtual networks.
These networks connect "interfaces" from other OpenStack services (such as
vNICs from Nova VMs). The Neutron API supports extensions to provide advanced
network capabilities, including QoS, ACLs, and network monitoring.