libc6-x32
GNU C Library: X32 ABI Shared libraries for AMD64
This package includes shared versions of the standard C library and the
standard math library, as well as many others. This is the X32 ABI version
of the library, meant for AMD64 systems.
libginac13
GiNaC symbolic framework runtime library
GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a
library for doing symbolic (i.e. non-numeric) computation directly in the C++
programming language.
coqprime-tools
Primality certification for Coq (tools)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
gophernicus
modern, full-featured gopher daemon
gophernicus is a modern, full-featured gopher daemon written with security in
mind. Its features include:
* automatic gophermap generation for directories
* personal gopherspaces
* virtual hosting
* most parts of cge CGI/1.1 standard
* selector rewriting
* session tracking, throttling, and statistics
* tls/ssl and proxy support
python3-bdsf
Python Blob Detection and Source Finder
PyBDSF (the Python Blob Detection and Source Finder) is a tool
designed to decompose radio interferometry images into sources and
make available their properties for further use. PyBDSF can decompose
an image into a set of Gaussians, shapelets, or wavelets as well as
calculate spectral indices and polarization properties of sources and
measure the psf variation across an image. PyBDSF uses an interactive
environment based on CASA that will be familiar to most radio
astronomers. Additionally, PyBDSF may also be used in Python
scripts.
libintellij-core-java
IntelliJ IDEA Core API
IntelliJ IDEA Community Edition is a Java integrated development environment
(IDE) for developing computer software.