libgm2-17-mips64r6-cross

GNU Modula-2 standard library (runtime library)

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

progvis

Program visualization tool for C/C++ (and others)

A program visualization tool written in Storm. Supports a subset of C/C++, and other languages supported by the Storm language platform. Aimed at showing how concurrent programs interact with pointers/references and other fundamental programming concepts.

libqgis-app3.28.7

QGIS - shared app library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

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.

coqprime-tools

Primality certification for Coq (tools)

Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality

libgfortran-11-dev-mipsr6-cross

Runtime library for GNU Fortran applications (development files)

This package contains the headers and static library files needed to build GNU Fortran applications.