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.

libftxui-component5.0.0

Cross-platform C++ functional TUI library - Component Module

ftxui is a modern C++ TUI library for building interfaces in a functional style.

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.

postgresql-16-prefix

Prefix Range module for PostgreSQL

This PostgreSQL module provides the prefix_range datatype, allowing to index searches such as finding the longest prefix matching a telephone number, having prefixes in a table and telephone number as a parameter:

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.

parsyncfp2

Multihost parallel rsync wrapper

parsyncfp2 is a tool to efficiently transfer 10s of gigabytes across a network by running several instances of rsync in parallel. It aggregates files into chunks (or partitions) of a specified size, and then transfers each chunk using parallel runs of rsync. It needs to be installed only on the source end of the transfer.