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.
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.
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
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.
python3-pyside6.qtbluetooth
Python bindings for Qt 6 Bluetooth (Python 3)
pyside6 provides Python bindings for Qt 6.x framework.