libtorch-cuda-2.5

Tensors and Dynamic neural networks in Python (Shared Objects)

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

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.

libgo19-amd64-cross

Runtime library for GNU Go applications

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

libkpim6ksieve6

Sieve mail filtering language support for kdepim, library

This library implements a parser and lexer for Sieve, the mail filtering language (RFC 3028).

libkpim6ksievecore6

Sieve mail filtering language support for kdepim, core library

This library implements the core services for libksieve.

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.