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.