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.