libcoq-interval
interval arithmetic for Coq
python3-cloup
Click with option groups
libcoq-gappa
Coq tactic to use Gappa for floating-point goals
hipcc
C++ Runtime API and Kernel Language for AMD and NVIDIA GPUs
c-evo-dh-stdai
Empire Building Game (AI module), C-evo: Distant Horizon
sqlite-utils
CLI tool and Python utility functions for manipulating SQLite
python3-flake8-black
flake8 plugin to call black as a code style validator
journal-brief
Show interesting new systemd journal entries
libmodule-build-pluggable-cpanfile-perl
plugin for Module::Build::Pluggable to use cpanfiles
libnet-amazon-signature-v4-perl
module for the Amazon Web Services signature version 4
libsyntax-keyword-multisub-perl
multiple subroutine dispatch syntax extension
usbsdmux
control software for USB-SD-Mux devices
libsnpeff-java
genetic variant annotation and effect prediction toolbox - lib
libsnacc0t64
ASN.1 to C or C++ or IDL compiler, shared libraries
libotbiomstar-8.1-1
ORFEO Toolbox library - OTBIOMSTAR
libotbiorad-8.1-1
ORFEO Toolbox library - OTBIORAD
libotbiolum-8.1-1
ORFEO Toolbox library - OTBIOLUM
libotbioonera-8.1-1
ORFEO Toolbox library - OTBIOONERA
libotblearningbase-8.1-1
ORFEO Toolbox library - OTBLearningBase
libslvs1t64
SolveSpace geometric kernel
libotbmathparser-8.1-1
ORFEO Toolbox library - OTBMathParser
libotbmapla-8.1-1
ORFEO Toolbox library - OTBMapla
libgenomicsdb-jni
sparse array storage library for genomics (Java native bindings)
minimalistic personal task manager designed to fit GNOME desktop
endeavour
minimalistic personal task manager designed to fit GNOME desktop