git hub is a simple command line interface to GitHub, enabling most useful GitHub tasks (like creating and listing pull request or issues) to be accessed directly through the Git command line.

This plugin helps in copying files or renaming files or directories during the Maven build lifecycle.

This package makes it possible to define new commands and tactics for Coq in Elpi.

The Compute Unified Device Architecture (CUDA) enables NVIDIA graphics processing units (GPUs) to be used for massively parallel general purpose computation.

This package contains a Gtk4 GUI for the ALSA controls exposed by the Focusrite Scarlett/Clarett kernel driver

PETSc is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication.