dockerfile.run – eproof

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eproof

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – eproof

git

Distributed version control system. Some subcommands such as commit, add, branch, checkout, push, etc. have their own usage documentation. More information: <https://git-scm.com/>.

mongo

The legacy MongoDB shell. See mongosh for the new shell. Note: all connection options can be replaced with one string: mongodb://user@host:port/db_name?authSource=authdb_name. More information: <https://docs.mongodb.com/manual/reference/program/mongo>.

pass

Tool for storing and reading passwords or other sensitive data. All data is GPG-encrypted, and managed with a Git repository. More information: <https://www.passwordstore.org>.

HandBrakeCLI

versatile DVD ripper and video transcoder (command line)

lr_deanonymize

full-featured log analyzer and report generator

export_sql

pipeline for building loci from short-read DNA sequences

lfc-getacl

LCG File Catalog (LFC) client

qvidcap

Test bench application for video4linux devices

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

x

x