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.

tiny-dnn

header only deep learning framework in C++

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

tpm2-openssl

OpenSSL 3 engine for tpm2-tss

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.

libpromod3-core3.3

protein homology modelling engine

ProMod3 is a modelling engine based on the OpenStructure computational structural biology framework that can perform all steps required to generate a protein model by homology. Its modular design aims at implementing flexible modelling pipelines and fast prototyping of novel algorithms.

libgxccd

library for cameras made by Moravian Instruments

This package contains the libraries to support cameras made by Moravian Instruments.