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.

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.

libghc-integer-logarithms-prof

integer logarithms; profiling libraries

Math.NumberTheory.Logarithms and Math.NumberTheory.Powers.Integer from the arithmoi package.

libreoffice-nlpsolver

"Solver for Nonlinear Programming" extension for LibreOffice

By default LibreOffice Calc ships with a solver engine for linear programming only. This allows the optimization of models to a certain degree. However, if the formulas or constraints become more complex, nonlinear programming is required. That missing gap is now filled by the Solver for Nonlinear Programming extension.

libghc-prettyprinter-prof

modern, easy-to-use, extensible prettyprinter; profiling libraries

Haskell, more specifically Hackage, has a zoo of Wadler/Leijen based prettyprinters already. Each of them addresses a different concern with the classic wl-pprint package. This package solves all these issues, and then some: * Text instead of String * No name clashes * Annotation support * Extensible backends * Performance * Open implementation