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.

libcodec2-1.0

Codec2 runtime library

Next-Generation Digital Voice for Two-Way Radio

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.