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++.