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.