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