Star Ferry test image

aiscm

Guile numerical arrays and tensor extension

AIscm is a Guile extension providing multi-dimensional arrays and tensor operations. Array elements can be scalars or composite values such as complex numbers or RGB values. Array operations are provided as GOOPS generics. Real time performance is achieved using the LLVM JIT compiler. Furthermore AIscm provides input/output bindings for ImageMagick, V4L2, FFmpeg, PulseAudio, and X.Org.
sans serif font family designed for on-screen readability

fonts-cantarell

sans serif font family designed for on-screen readability

The Cantarell font family is designed as a contemporary Humanist sans serif and is particularly designed for on-screen reading on mobile devices at small sizes, such as phones and tablets.
Toolbox for X-Ray data analysis - Executables

silx

Toolbox for X-Ray data analysis - Executables

The silx project aims at providing a collection of Python packages to support the development of data assessment, reduction and analysis applications at synchrotron radiation facilities. It aims at providing reading/writing different file formats, data reduction routines and a set of Qt widgets to browse and visualize data.
proof assistant for higher-order logic (gtk interface)

coqide

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
GTK+ JACK audio mixer application (Python 3)

jack-mixer

GTK+ JACK audio mixer application (Python 3)

Jack Audio Mixer provides a GTK+ GUI to mix JACK audio streams. It maintains the appearance of a hardware audio mixing desk. It can set levels, balance, mute, etc through the interface or via MIDI.
From LibreOffice version 5.2.3.1. The package libreoffice-gtk is installed.

libreoffice-style-sifr

office productivity suite -- Sifr symbol style

LibreOffice is a full-featured office productivity suite that provides a near drop-in replacement for Microsoft(R) Office.