gnat-13-sparc64-linux-gnu

GNU Ada compiler for the sparc64-linux-gnu architecture

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

gnat-13-powerpc-linux-gnu

GNU Ada compiler for the powerpc-linux-gnu architecture

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

gnat-13-m68k-linux-gnu

GNU Ada compiler for the m68k-linux-gnu architecture

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

linux-support-6.12.11

Support files for Linux 6.12

This package provides support files for the Linux kernel build, e.g. scripts to handle ABI information and for generation of build system meta data.

libmbtserver2

Server extensions for Timbl - runtime

MbtServer extends Mbt with a server layer, running as a TCP server. Mbt is a memory-based tagger-generator and tagger for natural language processing. MbtServer provides the possibility to access a trained tagger from multiple sessions. It also allows one to run and access different taggers in parallel.

drat-trim-examples

DART-trim satisfiability proof checker (example files)

DRAT-trim is a satisfiability proof checking and trimming utility designed to validate proofs for all known satisfiability solving and preprocessing techniques. DRAT-trim can also emit trimmed formulas, optimized proofs, and TraceCheck+ dependency graphs.