python3-fpdf
Simple & fast PDF generation for Python
a library for PDF document generation under Python, ported from PHP.
python3-telethon
Pure Python 3 MTProto API Telegram client library
Telethon is an asyncio Python 3 MTProto library to interact with Telegram's
API as a user or through a bot account (bot API alternative).
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.
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.
libcvc5parser1
automated theorem prover for SMT problems (parser runtime)
cvc5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3, CVC4) but does not directly incorporate code from any previous version
prior to CVC4.