dockerfile.run – e_stratpar

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

e_stratpar

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – e_stratpar

knife

Interact with a Chef server from a local Chef repo. More information: <https://docs.chef.io/knife.html>.

ctest

CMake test driver program. More information: <https://gitlab.kitware.com/cmake/community/wikis/doc/ctest/Testing-With-CTest>.

diff

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

nmtui

Text user interface for controlling NetworkManager. Use arrow keys to navigate, enter to select an option. More information: <https://networkmanager.dev/docs/api/latest/nmtui.html>.

ruby-spork

DRb (Distributed Ruby) server for testing frameworks

randomplay

command-line based shuffle music player that remembers songs between sessions

cmst

QT GUI for Connman with system tray icon

kitsch

package of programs for inferring phylogenies

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

x