python3-rnp

Python bindings for librnp

RNP is a set of cross-platform tools implementing OpenPGP (RFC 4880) and related standards.

rime-data-quick5

Rime Input Method Engine schema data - Quick

RIME is the acronym of Rime Input Method Engine.

libgtkmm-4.0-0

C++ wrappers for GTK4 (shared libraries)

Gtkmm is a C++ interface for the popular GUI library GTK 4, API version 4.0. Gtkmm provides a convenient interface for C++ programmers to create graphical user interfaces with GTK's flexible OO framework. Highlights include type safe callbacks, widgets extensible using inheritance and over 180 classes that can be freely combined to quickly create complex user interfaces.

librte-metrics22

Data Plane Development Kit (librte-metrics runtime library)

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

libmbedx509-1t64

lightweight crypto and SSL/TLS library - x509 certificate library

mbed TLS (formerly known as PolarSSL) is a lean open source crypto library for providing SSL and TLS support in your programs. It offers an intuitive API and documented header files, so you can actually understand what the code does. It features: - Symmetric algorithms, like AES, Blowfish, Triple-DES, DES, ARC4, Camellia and XTEA - Hash algorithms, like SHA-1, SHA-2, RIPEMD-160 and MD5 - Entropy pool and random generators, like CTR-DRBG and HMAC-DRBG - Public key algorithms, like RSA, Elliptic Curves, Diffie-Hellman, ECDSA and ECDH - TLS 1.0, 1.1 and 1.2 - Abstraction layers for ciphers, hashes, public key operations, platform abstraction and threading

libcoq-elpi-ocaml

Coq plugin embedding Elpi (runtime)

This package makes it possible to define new commands and tactics for Coq in Elpi.