tool for configuring the NVIDIA graphics driver (390xx legacy version)

nvidia-settings-legacy-390xx

tool for configuring the NVIDIA graphics driver (390xx legacy 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.

cryptominisat

SAT solver command line interface

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

libcryptominisat5-5.6

SAT solver library

floppy formatter

kfloppy

floppy formatter

Kfloppy is a utility for formatting floppy disks.

pypy-pyparsing

alternative to creating and executing simple grammars - pypy

This is a transitional package for pypy PyParsing v2.x

vim-bitbake

Vim plugin to interact with Yocto bitbake-based recipes

This set of scripts helps in creating new yocto recipes from scratch, and adds highlighting on the already written ones.