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

libpmix-bin

Process Management Interface (Exascale) library - tools

PMIX is the OpenMPI implementation of the Process Management Interface (PMI) Exascale API. This package provides utilities for working with pmix.

libgtkdsv-3-0

GTK+ syntax highlighting widget - D bindings

GtkSourceView is a text widget that extends the standard GTK+ 3.x text widget GtkTextView. It improves GtkTextView by implementing syntax highlighting and other features typical of a source editor.

libvted-3-0

Terminal emulator widget for GTK+ - D bindings

The VTE library provides a terminal emulator widget VteTerminal for applications using the GTK+ toolkit. It also provides the VtePTY object containing functions for starting a new process on a new pseudo-terminal and for manipulating pseudo-terminals.

libip4tc0

netfilter libip4tc library