qml-module-qtgamepad

Qt 5 Gamepad 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.

libppx-hash-ocaml

ppx writer generating hash functions (runtime)

This package provides a ppx writer generating hash functions from type expressions and definitions

librte-bus-dpaa22

Data Plane Development Kit (librte-bus-dpaa runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libcoq-mtac2

Mtac2 tactic language for Coq

This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.

librte-bus-fslmc22

Data Plane Development Kit (librte-bus-fslmc runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libnats3.4

C client for the NATS messaging system

NATS messaging enables the exchange of data that is segmented into messages among computer applications and services. These messages are addressed by subjects and do not depend on network location. This provides an abstraction layer between the application or service and the underlying physical network. Data is encoded and framed as a message and sent by a publisher. The message is received, decoded, and processed by one or more subscribers.