python3-prody

Python package for protein dynamics analysis

ProDy is a free and open-source Python package for protein structure, dynamics, and sequence analysis. It allows for comparative analysis and modeling of protein structural dynamics and sequence co-evolution. Fast and flexible ProDy API is for interactive usage as well as application development. ProDy also comes with several analysis applications and a graphical user interface for visual analysis.

php8.2-bz2

bzip2 module for PHP

This package provides the bzip2 module(s) for PHP.

php8.2-mbstring

MBSTRING module for PHP

This package provides the MBSTRING module(s) for PHP.

golang-1.20

Go programming language compiler - metapackage

The Go programming language is an open source project to make programmers more productive. Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore and networked machines, while its novel type system enables flexible and modular program construction. Go compiles quickly to machine code yet has the convenience of garbage collection and the power of run-time reflection. It's a fast, statically typed, compiled language that feels like a dynamically typed, interpreted language.
Simple Qt5 archive manager; front-end for libarchive, gzip and 7z.

arqiver

Simple Qt5 archive manager; front-end for libarchive, gzip and 7z.

Arqiver can extract, create and edit archives that are supported by its back-ends. It can open archives by drag-and-drop. With 7z, it also supports password protection.

libghc-ogma-spec-prof

Ogma: Runtime Monitor translator: JSON 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.