libginac13
GiNaC symbolic framework runtime library
GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a
library for doing symbolic (i.e. non-numeric) computation directly in the C++
programming language.
storm-lang-graphics
Graphics library for Storm
Provides the ability to load various image types to Storm programs.
storm-lang-sound
Sound playback library for Storm
Sound playback library for the Storm language platform. Supports
decoding flac, ogg and mp3 streams.
libcoq-mathcomp
Mathematical Components library for Coq (all)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
cpp-13-mipsisa32r6el-linux-gnu
GNU C preprocessor for mipsisa32r6el-linux-gnu
A macro processor that is used automatically by the GNU C compiler
to transform programs before actual compilation.
g++-13-multilib-mipsisa32r6-linux-gnu
GNU C++ compiler (multilib support) (cross compiler for mipsr6 architecture)
This is the GNU C++ compiler, a fairly portable optimizing compiler for C++.