libmail-dmarc-perl
Perl implementation of DMARC
Mail::DMARC is a suite of tools for implementing DMARC. It adheres to the
2013 DMARC draft, intending to implement every MUST and every SHOULD.
python3-overrides
Python decorator to verify that expected overrides are maintained
Provides a decorator @override that verifies that a method that
should override an inherited method actually does it. Python has no
standard mechanism by which to guarantee that (1) a method that
previously overrode an inherited method continues to do so, and (2) a
method that previously did not override an inherited will not
override now. This package allows this to be addressed in an automated
manner.
elpa-acl2
Computational Logic for Applicative Common Lisp: emacs interface
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
linux-support-6.12.20
Support files for Linux 6.12
This package provides support files for the Linux kernel build, e.g.
scripts to handle ABI information and for generation of build system meta
data.
libguile-ssh14
guile bindings for libssh
Guile-SSH is a library that provides access to the SSH protocol for programs
written in GNU Guile interpreter. It is built upon the libssh library.
libxnnpack0.20241108
High-efficiency floating-point neural network inference operators (libs)
XNNPACK is a highly optimized library of floating-point neural network
inference operators for ARM, WebAssembly, and x86 platforms. XNNPACK is not
intended for direct use by deep learning practitioners and researchers; instead
it provides low-level performance primitives for accelerating high-level
machine learning frameworks, such as TensorFlow Lite, TensorFlow.js, PyTorch,
and MediaPipe.