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.
album application for Deepin Desktop Environment

deepin-album

album application for Deepin Desktop Environment

Deepin-album is a fashion photo manager for viewing and organizing pictures. deepin-album supports command line, mouse drag method to import photos. deepin-album supports single browsing and timeline browsing modes.