libngtcp2-crypto-gnutls1
implementation of QUIC protocol (library)
ngtcp2 project is an effort to implement QUIC protocol which is
now being discussed in IETF QUICWG for its standardization.
libgnuradio-analog3.10.5
gnuradio analog functions
Library for handling analog signal processing functions.
These functions are also in gnuradio-core.
Part of the main gnuradio build.
libfolks-telepathy26
Telepathy backend for libfolks
libfolks is a library that aggregates people from multiple sources
(eg, Telepathy connection managers and eventually evolution data server,
Facebook, etc.) to create metacontacts.
libavif14
Library for handling .avif files
This library aims to be a friendly, portable C implementation of the AV1
Image File Format as described in https://aomediacodec.github.io/av1-avif/.
libpcl-surface1.13
Point Cloud Library - surface library
The Point Cloud Library (PCL) is a standalone, large scale, open
project for 2D/3D image and point cloud processing.
libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.