libcoq-interval

interval arithmetic for Coq

This package provides tactics to simplify the proof of inequalities on expressions of real numbers.

hipcc

C++ Runtime API and Kernel Language for AMD and NVIDIA GPUs

HIP (Heterogeneous Interface for Portability) is a C++ Runtime API and Kernel Language that allows developers to create portable applications for AMD and NVIDIA GPUs from single source code.

libcoq-gappa

Coq tactic to use Gappa for floating-point goals

This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa.

c-evo-dh-stdai

Empire Building Game (AI module), C-evo: Distant Horizon

A civilization style, turn based strategy game, of the Civ II era.

python3-flake8-black

flake8 plugin to call black as a code style validator

This is flake8 plugin for validating Python code style with the command line code formatting tool Black.

journal-brief

Show interesting new systemd journal entries

This program can be used to show entries from the systemd journal with configurable, flexible filters. Cursor files are used to keep information about when journal-brief was run for the last time and starts from there. journal-brief can output to stdout or send via SMTP.