empcommand
Multitouch 2d touch-and-shoot game
libaac-tactics-ocaml
Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
libeantic1
real Embedded Algebraic Number Theory In C/C++ - libs
E-ANTIC is a C/C++ mathematical library to deal with real embedded
number fields built on top of ANTIC; ANTIC is an Algebraic Number
Theory library In C <https://github.com/wbhart/antic>. The aim of
the E-ANTIC library is to have as fast as possible exact arithmetic
operations and comparisons.
gobjc-11-s390x-linux-gnu
GNU Objective-C compiler
This is the GNU Objective-C compiler, which compiles
Objective-C on platforms supported by the gcc compiler. It uses the
gcc backend to generate optimized code.
libnetaddr-ip-perl
IP address manipulation module
NetAddr::IP provides an object-oriented abstraction on top of IP addresses
or IP subnets, that allows for easy manipulations.
grub-efi-amd64-unsigned
GRand Unified Bootloader, version 2 (EFI-AMD64 images)
GRUB is a portable, powerful bootloader. This version of GRUB is based on a
cleaner design than its predecessors, and provides the following new features: