gir1.2-rest-1.0

REST service access library (introspection files)

This library was designed to make it easier to access web services that claim to be "RESTful". It includes convenience wrappers for libsoup and libxml to ease remote use of the RESTful API.

libcoq-mathcomp-classical

classical logic extension for Mathematical Components

This package provides an extension for work with classical logic within the Coq proof-assistant using the Mathematical Components library.

linux-support-6.12.3

Support files for Linux 6.12

This package provides support files for the Linux kernel build, e.g. scripts to handle ABI information and for generation of build system meta data.

libqt6sql6-ibase

Qt 6 Firebird database driver

This package contains the Firebird plugin for Qt 6.

libvkd3d-shader1

Direct3D 12 to Vulkan translation - shader library

3D graphics library that provides an API similar to Direct3D 12 built on top of the Vulkan library.

ttyplot

realtime plotting utility for text mode consoles and terminals

ttyplot takes data from standard input or a unix pipeline and plots in text mode on a terminal in real time. It supports rate calculation for counters and up to two graphs on a single display using reverse video for the second line.