bgw_replstatus is a tiny PostgreSQL background worker to cheaply report the replication status of a node. It's intended to be polled by a load balancer such as haproxy.

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.

LDC is a portable compiler for the D programming language with modern optimization and code generation capabilities. It is based on the latest DMD frontend and uses LLVM as backend.

The libfreefare project aims to provide a convenient API for MIFARE card manipulations.

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 is a C++ implementation of deep learning. It is suitable for deep learning on limited computational resource, embedded systems and IoT devices.