dockerfile.run – eground

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eground

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – eground

dirname

Calculates the parent directory of a given file or directory path. More information: <https://www.gnu.org/software/coreutils/dirname>.

bat

Print and concatenate files. A cat clone with syntax highlighting and Git integration. More information: <https://github.com/sharkdp/bat>.

adb

Android Debug Bridge: communicate with an Android emulator instance or connected Android devices. Some subcommands such as adb shell have their own usage documentation. More information: <https://developer.android.com/studio/command-line/adb>.

rdfind

Find files with duplicate content and get rid of them. More information: <https://rdfind.pauldreik.se>.

ddrescuelog

GNU data recovery tool

gsar

dask-submit

Dask Distributed computing for Python 3

bnpass

gaming server that emulates Battle.net(R)

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

x