dockerfile.run – e_stratpar

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

e_stratpar

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – e_stratpar

strings

Find printable strings in an object file or binary. More information: <https://manned.org/strings>.

tig

A text-mode interface for Git. More information: <https://github.com/jonas/tig>.

ansible-galaxy

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

grep

Find patterns in files using regular expressions. More information: <https://www.gnu.org/software/grep/manual/grep.html>.

reportlog.cgi

monitoring system for systems, networks and applications

pbs_demux

job execution engine for Torque batch system

fantasdic

Dictionary application using Ruby

hwsim

wireless daemon for Linux

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

x

x