libboost-regex1.88.0
regular expression library for C++
This package forms part of the Boost C++ Libraries collection.
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.