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.