libignition-common4-graphics4t64
Collection of useful code used by robotics apps - Graphics libraries
Ignition common is a component in the Ignition framework, a set of
libraries designed to rapidly develop robot applications. A collection of
useful classes and functions for handling many command tasks. This includes
parsing 3D mesh files, managing console output, and using PID controllers.
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-jupytext
Jupyter notebooks as Markdown documents, Julia, Python or R scripts
Have you always wished Jupyter notebooks were plain text documents? Wished you
could edit them in your favorite IDE? And get clear and meaningful diffs when
doing version control? Then, Jupytext may well be the tool you're looking for!
libsuitesparseconfig7
configuration routines for all SuiteSparse modules
Suitesparse is a collection of libraries for computations involving
sparse matrices.
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.
suitesparse-mongoose
graph partitioning tool that can quickly compute edge cuts (executable)
Suitesparse is a collection of libraries for computations involving
sparse matrices.