Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project, or as a standalone application. The C99 backend output is constant in memory and time, making it suitable for systems with hard realtime requirements.

The Extensible Virtual Display Interface (EVDI) is a Linux kernel module that enables management of multiple screens, allowing user-space programs to take control over what happens with the image. It is essentially a virtual display you can add, remove and receive screen updates for, in an application that uses the libevdi library.

dnscap is a network capture utility designed specifically for DNS traffic. It produces binary data in pcap(3) format. This utility is similar to tcpdump(1), but has a number of features tailored to DNS transactions and protocol options.

CppAD is a package for automatic differentiation (AD) of algorithms written in C++. Given appropriately written C++ code that computes a function, CppAD augments it to also compute derivative values. The system uses templates, supports forward and reverse accumulation modes, and allows nested derivatives.

Allows you to send notifications to more than 70 notification services. With emphasis on: Apprise API, AWS SES, Telegram, Discord, Slack, Amazon SNS, Gotify, Google Chat, Faast, IFTTT, Matrix, Microsoft Teams etc.

This package provides a way to run Tornado Coroutines from Synchronous Python.