libqt6statemachineqml6

Qt 6 State Machine QML library

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

libgo19-amd64-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.

libcoq-ott

Ott tool (Coq plugin)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

libtorch-cuda-2.5

Tensors and Dynamic neural networks in Python (Shared Objects)

PyTorch is a Python package that provides two high-level features:

lomiri-camera-app

Camera and Barcode Scanner App for Lomiri Operating Environment

This app is a core app for Ubuntu Touch's shell Lomiri. Ubuntu Touch is a mobile OS developed by the UBports Foundation. Lomiri is its operating environment optimized for touch based human-machine interaction, but also supports convergence (i.e. switching between tablet/phone and desktop mode).

koko

Image gallery for Plasma mobile

Koko is an image viewer designed for desktop and touch devices.