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.