cpp-13-s390x-linux-gnu

GNU C preprocessor for s390x-linux-gnu

A macro processor that is used automatically by the GNU C compiler to transform programs before actual compilation.

elpi

embeddable lambda-Prolog interpreter (tool)

ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.

kimageformat6-plugins

additional image format plugins for Qt Gui

This framework provides additional image format plugins for QtGui. As such it is not required for the compilation of any other software, but may be a runtime requirement for Qt-based software to support certain image formats.

libvisp-dnn-tracker3.6t64

visual servoing platform dnn-tracker library

This package contains the ViSP (Visual Servoing Platform) deep neural network tracker (dnn-tracker) runtime library.

coq-hierarchy-builder

build hierarchies of algebraic structures in Coq (tool)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

rust-markdown

command line utility for parsing Markdown and outputting HTML

This package provides a command line utility `markdown` which uses the rust markdown crate to parse a markdown file and output HTML.