eclib-tools
Programs for modular symbols and elliptic curves over Q
This package includes several programs to compute with elliptic curves
over Q ; most notably mwrank (for 2-descent on elliptic curves over Q)
and the modular symbol tools used to create the elliptic curve database.
libhdf4-0-alt
Hierarchical Data Format library (without NetCDF)
HDF is a multi-object file format for storing and transferring
graphical and numerical data mainly used in scientific computing. HDF
supports several different data models, including multidimensional
arrays, raster images, and tables. Each defines a specific aggregate
data type and provides an API for reading, writing, and organizing the
data and metadata. New data models can be added by the HDF developers
or users.
python3-parfive
HTTP and FTP parallel file downloader for Python
Parfive is a small library for downloading files, its objective is to
provide a simple API for queuing files for download and then
providing excellent feedback to the user about the in progress
downloads. It also aims to provide a clear interface for inspecting
any failed downloads.
libfdisk1
fdisk partitioning library
The libfdisk library is used for manipulating partition tables. It is
the core of the fdisk, cfdisk, and sfdisk tools.
libcmor2t64
Climate Model Output Rewriter library
The "Climate Model Output Rewriter" (CMOR, pronounced "Seymour")
comprises a set of C-based functions, with bindings to both Python
and FORTRAN 90, that can be used to produce CF-compliant netCDF files
that fulfill the requirements of many of the climate community's
standard model experiments. These experiments are collectively
referred to as MIP's and include, for example, AMIP, CMIP, CFMIP,
PMIP, APE, and IPCC scenario runs. The output resulting from CMOR
is "self-describing" and facilitates analysis of results across models.
video-downloader
Download videos from websites with an easy-to-use interface
This package is an easy-to-use user interface based on yt-dlp.
It provides the following features:
- Convert videos to MP3
- Supports password-protected and private videos
- Download single videos or whole playlists
- Automatically selects a video format based on your quality demands