circle-term

terminal frontend for the Circle application host

The circle-fe-term script and the Circle::FE::Term module provide a terminal frontend to the Circle application host, packaged as circle-backend.

libotbtestkernel-8.0-1

ORFEO Toolbox library - OTBTestKernel

ORFEO Toolbox (OTB) is distributed as an open source library of image processing algorithms. OTB is based on the medical image processing library ITK and offers particular functionalities for remote sensing image processing in general and for high spatial resolution images in particular.

libcoq-paramcoq

Coq plugin to generate parametricity statements

This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs.

libkpmcore12

KDE Partition Manager Core

KDE Partition Manager Core (KPM core) allows software to re-use common partitioning GUI tasks.

interception-tools-compat

minimal composable infrastructure on top of libudev and libevdev

The Interception Tools is a small set of utilities for operating on input events of evdev devices.

libstd-rust-1.77

Rust standard libraries

Rust is a curly-brace, block-structured expression language. It visually resembles the C language family, but differs significantly in syntactic and semantic details. Its design is oriented toward concerns of "programming in the large", that is, of creating and maintaining boundaries - both abstract and operational - that preserve large-system integrity, availability and concurrency.