command-not-found.com – eprover

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eprover

Equational Theorem Prover

Install

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

E

Equational Theorem Prover

API – eprover

gnomon

Utility to annotate console logging statements with timestamps and find slow processes. More information: <https://github.com/paypal/gnomon>.

valgrind

Wrapper for a set of expert tools for profiling, optimizing and debugging programs. Commonly used tools include memcheck, cachegrind, callgrind, massif, helgrind, and drd. More information: <http://www.valgrind.org>.

ansiweather

A shell script for displaying the current weather conditions in your terminal. More information: <https://github.com/fcambus/ansiweather>.

xxd

Create a hexadecimal representation (hexdump) from a binary file, or vice-versa. More information: <https://manned.org/xxd>.

xmode2

infra-red remote control support - X utilities

freefoam-compressibleInterDyM

programs for Computational Fluid Dynamics (CFD)

euare-usermodcert

tools for interacting with AWS API-compatible services

trjcat

Molecular dynamics simulator, with building and analysis tools

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