apertium-crh-tur

Apertium translation data for the Crimean Tatar-Turkish pair

Data package providing Apertium language resources for translating between the Crimean Tatar and Turkish languages.

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:

libipsec-mb

Intel(R) Multi-Buffer Crypto for IPSec library

irtt

Isochronous Round-Trip Tester

IRTT (Isochronous Round-Trip Tester) IRTT measures round-trip time, one-way delay and other metrics using UDP packets sent on a fixed period, and produces both user and machine parseable output.