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.