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.

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

Provides PHP bindings to the functions of libssh2 which implements the SSH2 protocol.

A thin wrapper around libuuid from the ext2utils project

tiny-dnn is a C++ implementation of deep learning. It is suitable for deep learning on limited computational resource, embedded systems and IoT devices.

With this engine for OpenSSL you can use OpenSSL library (version 3) and command line tools with any TPM2 implementation as backend for the crypto operations.