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.