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

phpmd

A PHP mess detector that checks for common potential problems. More information: <https://github.com/phpmd/phpmd>.

shutdown

Shutdown and reboot the system. More information: <https://manned.org/shutdown.8>.

diffstat

Create a histogram from the output of the diff command. More information: <https://manned.org/diffstat>.

aws

The official CLI tool for Amazon Web Services. Some subcommands such as aws s3 have their own usage documentation. More information: <https://aws.amazon.com/cli>.

ikarus-scheme-script

An incremental optimizing compiler for R6RS Scheme

notangle

A WEB-like literate-programming tool

bib2ris

Reference database and bibliography tool - clients

tau_cc.sh

Tuning and Analysis Utilities - base profiling/tracing toolkit

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

x