dockerfile.run – b64

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

b64

Interactive theorem prover from SRI

Fedora

RUN dnf install -y pvs-sbcl

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

API – b64

svgo

SVG Optimizer: a Node.js-based tool for optimizing Scalable Vector Graphics files. It applies a series of transformation rules (plugins), which can be toggled individually. More information: <https://github.com/svg/svgo>.

ansible

Manage groups of computers remotely over SSH. (use the /etc/ansible/hosts file to add new groups/hosts). Some subcommands such as ansible galaxy have their own usage documentation. More information: <https://www.ansible.com/>.

logstash

An Elasticsearch ETL (extract, transform and load) tool. Commonly used to load data from various sources (such as databases and log files) into Elasticsearch. More information: <https://www.elastic.co/products/logstash>.

st-util

Run GDB (GNU Debugger) server to interact with STM32 ARM Cortex microcontoller. More information: <https://github.com/texane/stlink>.

ivnorm

SGI Open Inventor (TM)

gambcomp-java

Efficient implementation of the Scheme programming language

xrootd-config

4.8.5-4.fc30.x86_64 : Development files for xrootd

brltty-lsinc

Access software for a blind person using a braille display

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

x

x