python3.13-minimal

Minimal subset of the Python language (version 3.13)

This package contains the interpreter and some essential modules. It can be used in the boot process for some basic tasks. See /usr/share/doc/python3.13-minimal/README.Debian for a list of the modules contained in this package.

gappa

Automatic generation of proofs of arithmetic properties

Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic.

libdolfinx-complex0.7

Shared libraries for DOLFIN

DOLFIN is the Python and C++ interface of the FEniCS project for the automated solution of differential equations, providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms; automatic and efficient assembly of linear systems; and support for general families of finite elements.

libreadline8t64

GNU readline and history libraries, run-time libraries

The GNU readline library aids in the consistency of user interface across discrete programs that need to provide a command line interface.

libgnuradio-iio3.10.7

IIO blocks for GnuRadio

Libiio is a library that has been conceived to ease the development of applications interfacing Industrial Input/Output (IIO) devices through the IIO subsystem of the Linux kernel.

libgnuradio-pdu3.10.7

gnuradio streaming protocol library

Protocol Data Units library provides signal processing blocks that operate on Protocol Data Unit format messages. Many such blocks are analogs of streaming API functionality. Part of the main gnuradio build.