dockerfile.run – eprover

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eprover

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – eprover

sftp

Secure File Transfer Program. Interactive program to copy files between hosts over SSH. For non-interactive file transfers, see scp or rsync. More information: <https://manned.org/sftp>.

protoc

Parse Google Protobuf .proto files and generate output in the specified language. More information: <https://developers.google.com/protocol-buffers>.

phing

A PHP build tool based on Apache Ant. More information: <https://www.phing.info>.

hr

Print a horizontal rule in the terminal. More information: <https://github.com/LuRsT/hr>.

lx26-ia64

Distributed resource management - common files

yawn.py

Standalone web server for yawn

urbanterror

tactical shooter

powerpc64-linux-gnu-elfedit

GNU binary utilities, for powerpc64-linux-gnu target

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

x