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.