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.