gobjc++-9-multilib-x86-64-linux-gnux32

GNU Objective-C++ compiler (multilib support)

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler.

libgnat-11-sh4-cross

runtime for applications compiled with GNAT (shared library)

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

pd-zexy

General Purpose addon library for Pd

zexy is "the swiss army knife for Pure Data".

libddsc-tools

Eclipse Cyclone DDS tools

Eclipse Cyclone DDS is a very performant and robust open-source DDS implementation. Cyclone DDS is developed completely in the open as an Eclipse IoT project with a growing list of adopters. It is a tier-1 middleware for the Robot Operating System (ROS 2).

python-etcd

Python Etcd client library

Client library for accessing and manipulating etcd contents.

python3-z3

theorem prover from Microsoft Research - Python 3 bindings

Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description.