qt6-datavis3d-doc-html

Qt 6 data visualization 3D HTML documentation

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

qt6-connectivity-doc-html

Qt 6 connectivity HTML documentation

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

postgresql-15-icu-ext

PostgreSQL extension exposing functionality from the ICU library

icu_ext is an extension to expose functionality from ICU to PostgreSQL applications.

libcvc5parser1

automated theorem prover for SMT problems (parser runtime)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.

php8.2-msgpack

PHP extension for interfacing with MessagePack

This extension provide API for communicating with MessagePack serialization.

openrct2-opensfx

Project to create a replacement for RCT2's sound effects file

A free collection of alternative sound effects from RollerCoaster Tycoon 2 for use in OpenRCT2.