libarmadillo12

streamlined C++ linear algebra library

Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. Integer, floating point and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Optional integration with LAPACK and ATLAS libraries is also provided.

unison-2.52

file-synchronization tool for Unix and Windows

Unison is a file-synchronization tool for Unix and Windows, written in OCaml. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.

provean

Protein Variation Effect Analyzer

PROVEAN (Protein Variation Effect Analyzer) is a software tool which predicts whether an amino acid substitution or indel has an impact on the biological function of a protein.

libsv1

Public domain cross-platform semantic versioning in c99

This is free and unencumbered software released into the public domain. This package installs a C language library implementing semantic versioning for the C language.

python3-petsc4py-real3.18

Python 3 bindings for PETSc 3.18 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.

libortools8

Google Optimization Tools (library)

Google Optimization Tools (a.k.a., OR-Tools) is an open-source, fast and portable software suite for solving combinatorial optimization problems.