dockerfile.run – drabt

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

drabt

Proof checker for the DRAT proof format

Fedora

RUN dnf install -y drabt

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

API – drabt

valgrind

Wrapper for a set of expert tools for profiling, optimizing and debugging programs. Commonly used tools include memcheck, cachegrind, callgrind, massif, helgrind, and drd. More information: <http://www.valgrind.org>.

abduco

Terminal session manager. More information: <http://www.brain-dump.org/projects/abduco/>.

glances

A cross-platform system monitoring tool. More information: <https://nicolargo.github.io/glances/>.

in2csv

Converts various tabular data formats into CSV. Included in csvkit. More information: <https://csvkit.readthedocs.io/en/latest/scripts/in2csv.html>.

runant.py

Eclipse platform without development plug-ins (data)

m68k-linux-gnu-gnathtml

GNU Ada compiler

fi_rdm_rma_trigger

Test suite for libfabric API

pkginfo2

Query metadatdata from sdists / bdists / installed packages

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

x