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.
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.
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.
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.
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.
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.