command-not-found.com – eproof

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eproof

Equational Theorem Prover

Install

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

E

Equational Theorem Prover

API – eproof

An open source build automation system. More information: <https://gradle.org>.

Filter and truncate CSV files. Like Unix's cut command, but for tabular data. Included in csvkit. More information: <https://csvkit.readthedocs.io/en/latest/scripts/csvcut.html>.

Compare files and directories. More information: <https://man7.org/linux/man-pages/man1/diff.1.html>.

Get entries from Name Service Switch libraries. More information: <https://manned.org/getent>.

Lightweight Webkit browser following the UNIX philosophy

balignmentscoredistribution

Blat-like Fast Accurate Search Tool

command line programs for Particle Image Velocimetry

Firebird Super Server - an RDBMS based on InterBase 6.0 code

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