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

write

Write a message on the terminal of a specified logged in user (ctrl-C to stop writing messages). Use the who command to find out all terminal_ids of all active users active on the system. See also mesg. More information: <https://manned.org/write>.

netstat

Displays network-related information such as open connections, open socket ports, etc. More information: <https://man7.org/linux/man-pages/man8/netstat.8.html>.

fold

Wrap each line in an input file to fit a specified width and print it to stdout. More information: <https://manned.org/fold.1p>.

squeue

View the jobs queued in the SLURM scheduler. More information: <https://manned.org/squeue>.

fastaq_strip_illumina_suffix

FASTA and FASTQ file manipulation tools

cldrparser

Free Pascal - SDK suite dependency package

whois.conf

intelligent WHOIS client

idle3.5

Version 3.5 of the Python programming language

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

x