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.