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.