gm2-11-mips-linux-gnu
GNU Modula-2 compiler (cross compiler for mips architecture)
This is the GNU Modula-2 compiler, which compiles Modula-2 on platforms
supported by gcc. It uses the gcc backend to generate optimised code.
gfortran-14-x86-64-linux-gnux32
GNU Fortran compiler for the x86_64-linux-gnux32 architecture
This is the GNU Fortran compiler for the x86_64-linux-gnux32 architecture,
which compiles Fortran on platforms supported by the gcc compiler.
It uses the gcc backend to generate optimized code.
gm2-14-arc-linux-gnu
GNU Modula-2 compiler for the arc-linux-gnu architecture
This is the GNU Modula-2 compiler for the arc-linux-gnu architecture,
which compiles Modula-2 on platforms supported by gcc. It uses the gcc
backend to generate optimised code.
libgc1
conservative garbage collector for C and C++
Boehm-Demers-Weiser's GC is a garbage collecting storage allocator that is
intended to be used as a plug-in replacement for C's malloc or C++'s new().
gfortran-14-sh4-linux-gnu
GNU Fortran compiler for the sh4-linux-gnu architecture
This is the GNU Fortran compiler for the sh4-linux-gnu architecture,
which compiles Fortran on platforms supported by the gcc compiler.
It uses the gcc backend to generate optimized code.
konclude
tableau-based description logic reasoner for the semantic web
Konclude is a high-performance reasoner
for large and expressive ontologies.
The supported ontology language is formally characterised
by the Description Logic (DL) SROIQV(D).
In other words,
Konclude can handle all of the Web Ontology Language (OWL 2)
with almost all datatypes.
In addition, Konclude supports nominal schemas
which allow for expressing arbitrary DL-safe rules
simply by using given ontology syntax extended with variables.