dockerfile.run – ws1s.so

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

ws1s.so

Interactive theorem prover from SRI

Fedora

RUN dnf install -y pvs-sbcl

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

API – ws1s.so

runsvchdir

Change the directory runsvdir uses by default. More information: <https://manpages.ubuntu.com/manpages/latest/man8/runsvchdir.8.html>.

ansible

Manage groups of computers remotely over SSH. (use the /etc/ansible/hosts file to add new groups/hosts). Some subcommands such as ansible galaxy have their own usage documentation. More information: <https://www.ansible.com/>.

micro

A modern and intuitive terminal-based text editor. You can use your keyboard, but also your mouse to navigate and/or select text. More information: <https://micro-editor.github.io>.

diff3

Compare three files line by line. More information: <https://www.gnu.org/software/diffutils/manual/html_node/Invoking-diff3.html>.

sand_filter_master

cooperative computing tools

otbcli_Pansharpening

ORFEO Toolbox command line applications

tldr.py

Haskell tldr client

simpleburn-copy-data

Minimalistic application for burning and extracting CDs and DVDs

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

x