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.