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.