libopencv-highgui406
computer vision High-level GUI and Media I/O library
This package contains the OpenCV (Open Computer Vision) High-level GUI
and Media I/O runtime libraries.
libdolfinx-complex0.6gcc13
Shared libraries for DOLFIN
DOLFIN is the Python and C++ interface of the FEniCS project for the
automated solution of differential equations, providing a consistent
PSE (Problem Solving Environment) for solving ordinary and partial
differential equations. Key features include a simple, consistent and
intuitive object-oriented API; automatic and efficient evaluation of
variational forms; automatic and efficient assembly of linear
systems; and support for general families of finite elements.
dict-freedict-fin-lit
Finnish-Lithuanian dictionary for the dict server/client
This is the Finnish-Lithuanian dictionary from the FreeDict project. It
contains 10862 headwords (FreeDict status: big enough to be useful). It can be
either used with the dictd server and a dict client or with GoldenDict.
libknet1t64
kronosnet core switching implementation
Kronosnet, often referred to as knet, is a network
abstraction layer designed for High Availability use cases, where redundancy,
security, fault tolerance and fast fail-over are the core requirements of
your application.
gnome-shell-extension-gsconnect-browsers
Browser support of KDE Connect implementation for GNOME Shell
This extension enables you to connect your phone or other devices to your
system, sending remote sms, see phone calls, share notifications, send files.
libcoq-aac-tactics
Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.