liblavfile-2.1-0t64

MJPEG capture/editing/replay and MPEG encoding toolset (library)

The mjpeg programs are a set of tools that can do recording of videos and playback, simple cut-and-paste editing and the MPEG compression of audio and video under Linux.

qml-module-lomiri-components

Qt Components for Lomiri - Components QML plugin

Qt Components for Lomiri offers a set of reusable user interface components for Qt Quick 2 / QML.

libqt6quick3druntimerender6

Qt 6 Quick 3D Runtime Renderer library

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libcppdb-mysql0t64

SQL Connectivity Library (MySQL backend)

CppDB is an SQL connectivity library that is designed to provide platform and Database independent connectivity API similarly to what JDBC, ODBC and other connectivity libraries do.

libcoq-iris

high-order concurrent separation logic framework for Coq

This package provides a high-order concurrent separation logic framework for Coq, which means it is useful to reason about safety of concurrent programs.

libzarchive0.1

library for creating and reading zstd-compressed files

ZArchive is yet another file archive format. Think of zip, tar, 7z, etc. but with the requirement of allowing random-access reads and supporting Zstandard compression.