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.