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.
libjxl-testdata
JPEG XL Image Coding System - "JXL" (testdata)
The JPEG XL Image Coding System (ISO/IEC 18181) is a lossy and
lossless image compression format. It has a rich feature set and is
particularly optimized for responsive web environments, so that
content renders well on a wide range of devices. Moreover, it includes
several features that help transition from the legacy JPEG format.
mate-user-admin
MATE User Manager
User and group management utility suitable for lightweight desktop
environments such as MATE or Xfce.