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.
GTK+ image viewer for comic books

mcomix

GTK+ image viewer for comic books

MComix is an user-friendly, customizable image viewer. It is specifically designed to handle comic books, but also serves as a generic viewer. It reads images in ZIP, RAR, 7Zip or tar archives as well as plain image files. It is written in Python and uses GTK+ through the PyGTK bindings, and runs on both Linux and Windows.
Four in a row game

explosive-c4

Four in a row game

The classic four in a row game. Two players can play on the same device, or it can be played against an AI.