libpanel-1-1

IDE paneling library for GTK

libpanel is a collection of GTK widgets for IDE-like applications targeting GNOME using GTK 4 and libadwaita.

libhash-sharedmem-perl

efficient shared mutable hash

Hash::SharedMem provides a facility for efficiently sharing mutable data between processes on one host. Data is organised as a key/value store, resembling a Perl hash. The keys and values are restricted to octet (Latin-1) strings. Structured objects may be stored by serialising them using a mechanism such as Sereal.

libcoq-ext-lib

Collection of theories and plugins for Coq

This package provides a collection of theories and plugins that may be useful in other Coq developments.

libcoq-coqeal

algebra and data structure algorithms for Coq

This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework.

libopenexr-3-1-30

runtime files for the OpenEXR image library

OpenEXR is a high dynamic-range (HDR) image file format developed by Industrial Light & Magic for use in computer imaging applications.

libopengv1

Computer vision methods for solving geometric vision problems.

Contains absolute-pose, relative-pose, triangulation, and point-cloud alignment methods for the calibrated case. All problems can be solved with central or non-central cameras, and embedded into a random sample consensus or nonlinear optimization context. Matlab and Python interfaces are implemented as well