dockerfile.run – pvsio

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

pvsio

Interactive theorem prover from SRI

Fedora

RUN dnf install -y pvs-sbcl

click the source code to copy install pvsio on any operating system with command-not-found.com

API – pvsio

sshpass

An ssh password provider. It works by creating a TTY, feeding the password into it, and then redirecting stdin to the ssh session. More information: <https://manned.org/sshpass>.

optipng

PNG file optimization utility. More information: <http://optipng.sourceforge.net>.

gulp

JavaScript task runner and streaming build system. Tasks are defined within gulpfile.js at the project root. More information: <https://github.com/gulpjs/gulp-cli>.

zramctl

Setup and control zram devices. Use mkfs or mkswap to format zram devices to partitions. More information: <https://manned.org/zramctl>.

nvcc_wrapper

algorithms for the solution of large-scale scientific problems

artsd

sound system

urdf_to_graphiz

URDF DOM - tools

avisd

high-performance publish/subscribe event router

© 2019-2024 Łukasz Lach | czux.dev | About