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