postgresql-16-auto-failover

Postgres high availability support

This extension implements a set of functions to provide High Availability to Postgres.

qml6-module-qtcore

Qt 6 QML Core QML module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libbpp-raa4t64

Bio++ Remote Acnuc Access library

This library contains utilitary and classes to query public databases (GenBank, EMBL, SwissProt, etc) using acnuc. It is part of the Bio++ project.

libcoq-unimath

univalent formalization of mathematics for Coq

This package provides a library to formalize a substantial body of mathematics using the univalent point of view.

qml6-module-qtqml-xmllistmodel

Qt 6 QtQml XmlListModel QML module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

qdbus-qt6

Qt 6 D-Bus application

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.