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

ansible-galaxy

Create and manage Ansible roles. More information: <https://docs.ansible.com/ansible/latest/cli/ansible-galaxy.html>.

squeue

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

csc

The Microsoft C# Compiler. More information: <https://learn.microsoft.com/dotnet/csharp/language-reference/compiler-options/command-line-building-with-csc-exe>.

if

Performs conditional processing in shell scripts. See also: test, [. More information: <https://www.gnu.org/software/bash/manual/bash.html#Conditional-Constructs>.

substitch.pl

homology detection tool across multiple large genomes (common files)

stacks_export_notify.pl

pipeline for building loci from short-read DNA sequences

nvamemtiming

nvidia's blob driver

top.dehashbanged

build bro packages

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

x