dockerfile.run – eproof_ram

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eproof_ram

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – eproof_ram

fg

Run jobs in foreground. More information: <https://manned.org/fg>.

ctest

CMake test driver program. More information: <https://gitlab.kitware.com/cmake/community/wikis/doc/ctest/Testing-With-CTest>.

lpass

Command-line interface for the LastPass password manager. More information: <https://github.com/lastpass/lastpass-cli>.

at

Execute commands once at a later time. Service atd (or atrun) should be running for the actual executions. More information: <https://manned.org/at>.

ip

Show/manipulate routing, devices, policy routing and tunnels. Some subcommands such as ip address have their own usage documentation. More information: <https://www.man7.org/linux/man-pages/man8/ip.8.html>.

stereo3d

tools for generating images of proteins or other molecules

pbalign

map Pacific Biosciences reads to reference DNA sequences

desmall

Tools to help the development of xoreos

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

x