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.