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.