Multitouch 2d touch-and-shoot game

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: