dockerfile.run – e_ltb_runner

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

e_ltb_runner

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – e_ltb_runner

ufraw-batch

Convert RAW files from cameras into standard image files. More information: <https://manned.org/ufraw-batch>.

autossh

Run, monitor and restart SSH connections. Auto-reconnects to keep port forwarding tunnels up. Accepts all ssh flags. More information: <https://www.harding.motd.ca/autossh>.

bedtools

A swiss-army knife of tools for genomic-analysis tasks. Used to intersect, group, convert and count data in BAM, BED, GFF/GTF, VCF format. More information: <https://bedtools.readthedocs.io>.

nohup

Allows for a process to live when the terminal gets killed. More information: <https://www.gnu.org/software/coreutils/nohup>.

readtags

build tag file indexes of source code definitions

g.pnmcomp

GRASS GIS core components

slurp

cli utility to select a region in a Wayland compositor

gnudll.mpt

makefile, project, and workspace creator

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

x