libqt6jsonrpc6
Qt 6 JSON RPC library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libmumps-5.7
Direct linear systems solver - parallel shared libraries
MUMPS implements a direct solver for large sparse linear systems, with a
particular focus on symmetric positive definite matrices. It can
operate on distributed matrices e.g. over a cluster. It has Fortran and
C interfaces, and can interface with ordering tools such as Scotch.
libcoq-dpdgraph
Coq plugin to extract dependencies between Coq objects
This package provides a plugin for Coq to extract dependencies
between Coq objects and produce files with dependency information.
python3-ffcv
Fast Forward Computer Vision (and other ML workloads)
This is a drop-in data loading system that dramatically increases data
throughput in model training.
libcrmservice28t64
cluster resource manager service library
At its core, Pacemaker is a distributed finite state
machine capable of co-ordinating the startup and recovery of inter-related
services across a set of machines.
go-l2tp
L2TP and PPPoE tools built using the go-l2tp package
go-l2tp is a suite of Go libraries for building L2TP applications on
Linux systems.