dockerfile.run – checkproof

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

checkproof

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – checkproof

st-info

Provides information about connected STLink and STM32 devices. More information: <https://github.com/texane/stlink>.

consul

Distributed key-value store with health checking and service discovery. Some subcommands such as consul kv have their own usage documentation. More information: <https://www.consul.io/commands>.

keybase

Key directory that maps social media identities to encryption keys in a publicly auditable manner. More information: <https://keybase.io/docs/command_line>.

losetup

Set up and control loop devices. More information: <https://manned.org/losetup>.

rss.pl

server for educational content: courses, exercises, and exams

go2fmt

perl modules for GO and other OBO ontologies

mips64el-linux-gnuabi64-gnatls-7

GNU Ada compiler

ivperf

SGI Open Inventor (TM) Motif bindings

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

x