libboost-regex1.88.0

regular expression library for C++

This package forms part of the Boost C++ Libraries collection.

php8.2-tidy

tidy module for PHP

This package provides the tidy module(s) for PHP.

php8.2-phpdbg

server-side, HTML-embedded scripting language (PHPDBG binary)

This package provides the /usr/bin/phpdbg command interpreter, useful for stepthrough debugging of PHP code.

libgnuradio-radar3.10.0

GNU Radio Radar Toolbox - library

The *gr-radar* project provides a toolbox of commonly used radar algorithms. An important part is the *UHD Echotimer*, which enables a synchronized TX and RX stream from USRPs to ensure a constant phase relation in measurements. Example flowgraphs for CW, Dual CW, FSK, FMCW and OFDM radar are given and partly tested on hardware. GUI elements for target representation and further signal processing algorithms such as target tracking are implemented. Check out the project website for example videos and further information.

python3-pulsectl

high-level interface and ctypes-based bindings for PulseAudio

Python blocking high-level interface and ctypes-based bindings for PulseAudio (libpulse), to use in a simple synchronous code.

python3-cvc5

automated theorem prover for SMT problems (Python bindings)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.