gpaste-2
Clipboard management system for GNOME
GPaste manages clipboard history and allows easy access to it using
keyboard shortcuts, gnome-shell extension, command-line tools, gir
bindings.
libqscintilla2-qt6-15
Qt6 port of the Scintilla source code editing widget
QScintilla is a text editor for Qt6 with features especially useful when
writing and debugging source code. These include support for syntax
styling, error indicators, code completion, call tips and margins.
libmagickcore-6.q16-7t64
low-level image manipulation library -- quantum depth Q16
The MagickCore API is a low-level interface between the C programming language
and the ImageMagick image processing libraries and is recommended for
wizard-level programmers only. Unlike the MagickWand C API which uses only a
few opaque types and accessors, with MagickCore you almost exclusively access
the structure members directly.
minio-client
Simple, fast tool to manage MinIO clusters
MinIO Client (mc) provides a modern alternative to UNIX commands like
ls, cat, cp, mirror, diff, find etc. It supports filesystems and Amazon
S3 compatible cloud storage service (AWS Signature v2 and v4).
ott-tools
Ott tool (executable)
Ott is a tool to write definitions of programming
languages and calculi. From the definition of a
language syntex and semanticsin a concise and readable
notation close to informal mathematics, it can
provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml
versions of the definition.