storm-lang-ui

UI library for Storm (using Gtk3)

UI library for the Storm language platform using Gtk+.

libvtk9.1-qt

VTK libraries, Qt files

The Visualization Toolkit (VTK) is an open-source software system for 3D computer graphics, image processing, and visualization.

libocct-data-exchange-7.6

Open CASCADE Technology module for CAD data format interoperability

Open CASCADE Technology is a suite for 3D surface and solid modeling, visualization, data exchange and rapid application development. It is an excellent platform for development of numerical simulation software including CAD/CAM/CAE, AEC and GIS, as well as PDM applications.

libstarpu-contribrm-1.4-1

Task scheduler for heterogeneous multicore machines

StarPU is a runtime system that offers support for heterogeneous multicore machines. While many efforts are devoted to design efficient computation kernels for those architectures (e.g. to implement BLAS kernels on GPUs or on Cell's SPUs), StarPU not only takes care of offloading such kernels (and implementing data coherency across the machine), but it also makes sure the kernels are executed as efficiently as possible.

ayatana-indicator-a11y

Ayatana Indicator for Accessibility Settings

This Ayatana Indicator provides quick access to accessibility related assistance applications such as the screen reader or an on-screen keyboard.

gcc-13-aarch64-linux-gnu-base

GCC, the GNU Compiler Collection (base package)

This package contains files common to all languages and libraries contained in the GNU Compiler Collection (GCC).