nvidia-cuda-samples

Samples which demonstrate features in NVIDIA CUDA Toolkit

This package contains a collection of example codes demonstrating various features of the NVIDIA CUDA Toolkit.

nvidia-settings-tesla

tool for configuring the NVIDIA graphics driver (Tesla version)

The nvidia-settings utility is a tool for configuring the NVIDIA Linux graphics driver. It operates by communicating with the NVIDIA X driver, querying and updating state as appropriate. This communication is done with the NV-CONTROL X extension.

python3-sphinx-contributors

Sphinx extension to recognize the people contributed to an open-source project

Sphinx extension that helps you recognize the people who have contributed to an open-source project. Show the list of users who have contributed to a repository in your docs. Choose how many contributors show and sort them by the number of commits.

libcoq-stdpp

Extended standard library for Coq

This package provides an extended standard library for Coq, for instance: - a great number of definitions and lemmas for common data structures like lists, finite maps and finite multisets ; - type classes for common properties like decidable equality, finiteness or countability ; - various tactics for common tasks ; all of this dependency-free and axiom-free.

libswe2.0

Swiss Ephemeris C library (runtime).

The Swiss Ephemeris is the de-facto standard library for astrological calculations. It is a high-precision ephemeris, based upon the DE431 ephemerides from NASA's JPL, and covering the time range 13201 BC to AD 17191.

python3-mariadb-connector

Enables Python programs to access MariaDB and MySQL database

MariaDB Connector/Python enables Python programs to access MariaDB and MySQL databases, using an API which is compliant with the Python DB API 2.0 (PEP-249). It is written in C and Python and uses MariaDB Connector/C client library for client server communication.