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.

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.

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.