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.

exip

get your external ip from multiple services (program)

This package is a Golang library to get your external ip from multiple services.

libpython3.11

Shared Python runtime library (version 3.11)

Python is a high-level, interactive, object-oriented language. Its 3.11 version includes an extensive class library with lots of goodies for network programming, system administration, sounds and graphics.

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.

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.

libghc-pandoc-lua-marshal-prof

Use pandoc types in Lua; profiling libraries

This package provides functions to marshal and unmarshal pandoc document types to and from Lua.