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.