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.
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.
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.