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.

python3-lfc

LCG File Catalog (LFC) python3 bindings

libeiskaltdcpp2.4

core library for EiskaltDC++

This package contains core library which is used by all EiskaltDC++ programs.