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.

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.

gnome-shell-extension-places-menu

Places menu for GNOME Shell

GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to add a menu for quickly navigating to places in the system, similar to the menu in GNOME 2.