command-not-found.com – eground

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eground

Equational Theorem Prover

Install

All systems: curl cmd.cat/eground.sh
Fedora: dnf install E
Dockerfile: dockerfile.run/eground

E

Equational Theorem Prover

API – eground

cpufreq-set

A tool to modify CPU frequency settings. The frequency value should range between the output of command cpufreq-info -l. More information: <https://manned.org/cpufreq-set>.

guile

Guile Scheme interpreter. More information: <https://www.gnu.org/software/guile>.

shred

Overwrite files to securely delete data. More information: <https://www.gnu.org/software/coreutils/shred>.

cowsay

Print ASCII art (by default a cow) saying or thinking something. More information: <https://github.com/tnalpgge/rank-amateur-cowsay>.

arb_arrays_of_arrays-max-binding

Open-source test suite for OpenGL and OpenCL implementations

vtdriverinfo

Voicetronix telephony hardware userspace interface library

powerdebug

tool to display regulator, sensor and clock information

clazy

Clang plugin for additional warnings

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