qepcad
quantifier elimination tool
QEPCAD is an implementation of quantifier elimination by partial
cylindrical algebraic decomposition due originally to Hoon Hong, and
subsequently added on to by many others. It is an interactive
command-line program written in C/C++, and based on the SACLIB
library. Presented here is QEPCAD B version 1.x, the "B" designating a
substantial departure from the original QEPCAD and distinguishing it
from any development of the original that may proceed in a different
direction. QEPCAD and the SACLIB library are the result of a program
of research by George Collins and his PhD students that has spanned
several decades ... and continues still!
python3-tcolorpy
apply true color for terminal text (Python3 version)
tcolopy is a Python library to apply true color for terminal text. It supports
foreground and background color in addition to styles like "bold", "italic",
etc.
altdns
Subdomain discovery through alterations and permutations
This package contains a DNS recon tool that allows for the discovery of
subdomains that conform to patterns. Altdns takes in words that could be
present in subdomains under a domain (such as test, dev, staging) as well
as takes in a list of subdomains that you know of.
gdc-12-mips64el-linux-gnuabi64
GNU D compiler (version 2) (cross compiler for mips64el architecture)
This is the GNU D compiler, which compiles D on platforms supported by gcc.
It uses the gcc backend to generate optimised code.
libonnxruntime1.16.3
cross-platform inference and training ML accelerator (shared lib)
ONNX Runtime is a performance-focused complete scoring engine for Open Neural
Network Exchange (ONNX) models, with an open extensible architecture to
continually address the latest developments in AI and Deep Learning. ONNX
Runtime stays up to date with the ONNX standard with complete implementation of
all ONNX operators, and supports all ONNX releases (1.2+) with both future and
backwards compatibility. Please refer to this page for ONNX opset compatibility
details.
gccgo-12-multilib-mipsisa64r6el-linux-gnuabi64
GNU Go compiler (multilib support) (cross compiler for mips64r6el architecture)
This is the GNU Go compiler, which compiles Go on platforms supported
by the gcc compiler.