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.

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!

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.

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.

gdc-12-mipsisa64r6-linux-gnuabi64

GNU D compiler (version 2) (cross compiler for mips64r6 architecture)

This is the GNU D compiler, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.

gdc-12-multilib-mips-linux-gnu

GNU D compiler (version 2, multilib support) (cross compiler for mips architectu

This is the GNU D compiler, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.